diff options
| author | Austin Seipp <aseipp@pobox.com> | 2019-03-12 00:44:08 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2019-03-12 00:45:38 -0500 |
| commit | 4f74e3abcff3120b141420f264866bbbc12a2b45 (patch) | |
| tree | 8b36593654ef526ba6b1286e599d07e265932ce4 /pkgs/development/coq-modules | |
| parent | ca3b67355c92db12dedef72dbeb18ba0ec91267b (diff) | |
| download | nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar.gz nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar.bz2 nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar.lz nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar.xz nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.tar.zst nixpkgs-4f74e3abcff3120b141420f264866bbbc12a2b45.zip | |
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>
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions