8 Commits

Author	SHA1	Message	Date
R. RyanTM	9a6d014b7f	souffle: 1.5.1 -> 1.6.1 ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/souffle/versions	2019-08-05 22:28:37 -07:00
Austin Seipp	4f74e3abcf	souffle: 1.2.0 -> 1.5.1, co-maintain ... Souffle has seen some significant upgrades in the past few years and now has trimmed and replaced several of its more expensive dependencies, such as boost, openjdk, etc. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2019-03-12 00:45:38 -05:00
volth	52f53c69ce	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
Matthew Bauer	e973188bcc	souffle: fix on darwin ... Fixes #39854	2018-05-07 00:17:49 -05:00
wchresta	0cb3923731	souffle: 1.0.0 -> 1.2.0	2018-05-01 21:04:30 +02:00
Tuomas Tynkkynen	917bd0bfbc	souffle: Disable parallel building ... https://hydra.nixos.org/build/62750790	2017-10-22 21:57:59 +03:00
Dan Peebles	9a05352488	souffle: work around hardening bug on linux	2016-09-06 23:11:33 +00:00
Dan Peebles	247c54e374	souffle: init at 1.0.0	2016-09-06 17:45:13 -04:00