about summary refs log tree commit diff
path: root/pkgs/development/compilers/souffle
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-05-24pkgs/development: remove unused fetchpatch argumentsSigmanificient1-1/+1
2023-11-16Merge #263535: staging-next 2023-10-26Vladimír Čunát1-0/+4
2023-11-16souffle: 2.4 -> 2.4.1R. Ryantm1-2/+2
2023-11-11souffle: fix build with clang 16Weijia Wang1-0/+4
2023-05-21souffle: 2.3 -> 2.4Ben Gamari1-7/+2
2023-01-19souffle: add darwin support (#208373)Brian J. Cardiff2-2/+43
2022-07-30souffle: 2.2 -> 2.3R. Ryantm1-2/+2
2022-05-30treewide: pkgs/development/compilers: mark broken for darwinRick van Schijndel1-0/+1
2022-03-23souffle: 2.0.2 -> 2.2 (#164103)Nathan van Doorn1-27/+8
2021-11-19souffle: pull pending upstream inclusion fix for ncurses-6.3Sergei Trofimovich1-2/+12
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-3/+3
2020-11-12souffle: 2.0.1 -> 2.0.2R. RyanTM1-2/+2
2020-07-31souffle: 2.0.0 -> 2.0.1R. RyanTM1-2/+2
2020-06-30souffle: 1.7.1 -> 2.0.0Luc Tielen1-2/+2
2020-01-22treewide: fix redirected urlsPatrick Hilhorst1-1/+1
2019-12-06souffle: 1.7.0 -> 1.7.1Luc Tielen1-2/+2
2019-11-30souffle: 1.6.1 -> 1.7.0Luc Tielen1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-08-05souffle: 1.5.1 -> 1.6.1R. RyanTM1-2/+2
2019-03-12souffle: 1.2.0 -> 1.5.1, co-maintainAustin Seipp1-15/+28
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-05-07souffle: fix on darwinMatthew Bauer1-8/+7
2018-05-01souffle: 1.0.0 -> 1.2.0wchresta1-11/+7
2017-10-22souffle: Disable parallel buildingTuomas Tynkkynen1-1/+2
2016-09-06souffle: work around hardening bug on linuxDan Peebles1-0/+3
2016-09-06souffle: init at 1.0.0Dan Peebles1-0/+41