nixpkgs

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