diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2016-09-20 11:56:41 -0400 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2016-09-20 11:57:14 -0400 |
| commit | dd4a015aa8e6cc836828a2f8a9dd419aca5076b9 (patch) | |
| tree | 9c5d5f13292ca2dcbdb49cd9e0d48f4dadd3bff4 /pkgs/development/libraries/strigi/default.nix | |
| parent | 0fa64b718ffa78edcce598f34ab8a193f85b9889 (diff) | |
| download | nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar.gz nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar.bz2 nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar.lz nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar.xz nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.tar.zst nixpkgs-dd4a015aa8e6cc836828a2f8a9dd419aca5076b9.zip | |
eprover: 1.9 -> 1.9.1
Diffstat (limited to 'pkgs/development/libraries/strigi/default.nix')
0 files changed, 0 insertions, 0 deletions