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

…