diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2012-12-09 00:36:38 +0400 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2012-12-09 00:36:38 +0400 |
commit | 1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466 (patch) | |
tree | e0697abfb8cd5bd37cae3bca117f550b90587a02 /pkgs/applications/science/logic | |
parent | 0ee1e2ad416b0717bbd87f3a7bb131dd71ba8d73 (diff) | |
download | nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar.gz nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar.bz2 nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar.lz nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar.xz nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.tar.zst nixlib-1c3434cc16f1ff25a6c1dc11c38ffc4af39ec466.zip |
Update E prover
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix (renamed from pkgs/applications/science/logic/eProver/default.nix) | 20 | ||||
-rw-r--r-- | pkgs/applications/science/logic/eprover/default.upstream | 3 |
2 files changed, 18 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 327a5d3a6237..8cc1de6e8dad 100644 --- a/pkgs/applications/science/logic/eProver/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -1,12 +1,21 @@ { stdenv, fetchurl, which, texLive }: - +let + s = # Generated upstream information + rec { + baseName="eprover"; + version="1.6"; + name="${baseName}-${version}"; + hash="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; + url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz"; + sha256="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; + }; +in stdenv.mkDerivation { - name = "EProver-1.4"; + inherit (s) name; src = fetchurl { - name = "E-1.4.tar.gz"; - url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz"; - sha256 = "1hxkr21xqkkh4bzqip6qf70w9xvvb8p20zzkvyin631ffgvyvr93"; + name = "E-${s.version}.tar.gz"; + inherit (s) url sha256; }; buildInputs = [which texLive]; @@ -27,6 +36,7 @@ stdenv.mkDerivation { ''; meta = { + inherit (s) version; description = "E automated theorem prover"; maintainers = [stdenv.lib.maintainers.raskin]; platforms = stdenv.lib.platforms.all; diff --git a/pkgs/applications/science/logic/eprover/default.upstream b/pkgs/applications/science/logic/eprover/default.upstream new file mode 100644 index 000000000000..fb2d80fafae8 --- /dev/null +++ b/pkgs/applications/science/logic/eprover/default.upstream @@ -0,0 +1,3 @@ +url http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html +version_link '[.]tgz$' +version '.*[/]V_([0-9.]+)[/].*' '\1' |