1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 03:53:41 +00:00
Commit graph

11 commits

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