Luc Tielen
aaf7a7eeb3
souffle: 1.7.0 -> 1.7.1
2019-12-06 04:02:19 -06:00
Luc Tielen
7665edaa28
souffle: 1.6.1 -> 1.7.0
2019-11-30 00:11:44 +01:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
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
