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
..
default.nix	souffle: 1.2.0 -> 1.5.1, co-maintain	2019-03-12 00:45:38 -05:00