7 commits

Author	SHA1	Message	Date
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