diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-12-30 13:22:13 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-12-31 15:48:39 +0100 |
| commit | 06fea66e7cde30ee7aec851162f54f88ed7915a7 (patch) | |
| tree | 4865a9ebffde8d2e2e55fb985201d6a345a717e4 /pkgs/applications/science/logic | |
| parent | 8ecdac14041c1905b106b645a9b101f4961a6993 (diff) | |
| download | nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar.gz nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar.bz2 nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar.lz nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar.xz nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.tar.zst nixlib-06fea66e7cde30ee7aec851162f54f88ed7915a7.zip | |
alt-ergo: update from 0.95.2 to 0.99.1
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index ca1602d6e58e..3bbcda9de110 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { name = "alt-ergo-${version}"; - version = "0.95.2"; + version = "0.99.1"; src = fetchurl { url = "http://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; name = "${name}.tar.gz"; - sha256 = "1b7f0rh3jgm67g0x2m3wv7gnnqmz9cjlrfm136z56ihlkhsd8v2s"; + sha256 = "0lnlf56ysisa45dxvbwzhl4fgyxyfz35psals2kv9x8gyq54zwpm"; }; buildInputs = with ocamlPackages; |