diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-07-06 06:46:32 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-07-17 19:43:34 +0200 |
| commit | 5adadd1466344a42c83679c703b0690b152f1a46 (patch) | |
| tree | b06309d14b5f516a619a2b4c1ccc4de613b8d602 /pkgs/development/coq-modules | |
| parent | 3115fe6989f698ad1c8b469f63a432d8eb047854 (diff) | |
| download | nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar.gz nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar.bz2 nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar.lz nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar.xz nixlib-5adadd1466344a42c83679c703b0690b152f1a46.tar.zst nixlib-5adadd1466344a42c83679c703b0690b152f1a46.zip | |
coqPackages.tlc: 20181116 → 20200328
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/tlc/default.nix | 32 |
1 files changed, 23 insertions, 9 deletions
diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix index 8a10dc388db4..816b22050244 100644 --- a/pkgs/development/coq-modules/tlc/default.nix +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -1,13 +1,27 @@ -{ stdenv, fetchurl, coq }: +{ stdenv, fetchurl, fetchFromGitHub, coq }: -stdenv.mkDerivation rec { - version = "20181116"; - name = "coq${coq.coq-version}-tlc-${version}"; +let params = + if stdenv.lib.versionAtLeast coq.coq-version "8.10" + then rec { + version = "20200328"; + src = fetchFromGitHub { + owner = "charguer"; + repo = "tlc"; + rev = version; + sha256 = "16vzild9gni8zhgb3qhmka47f8zagdh03k6nssif7drpim8233lx"; + }; + } else rec { + version = "20181116"; + src = fetchurl { + url = "http://tlc.gforge.inria.fr/releases/tlc-${version}.tar.gz"; + sha256 = "0iv6f6zmrv2lhq3xq57ipmw856ahsql754776ymv5wjm88ld63nm"; + }; + } +; in - src = fetchurl { - url = "http://tlc.gforge.inria.fr/releases/tlc-${version}.tar.gz"; - sha256 = "0iv6f6zmrv2lhq3xq57ipmw856ahsql754776ymv5wjm88ld63nm"; - }; +stdenv.mkDerivation { + inherit (params) version src; + pname = "coq${coq.coq-version}-tlc"; buildInputs = [ coq ]; @@ -22,6 +36,6 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = stdenv.lib.flip builtins.elem [ "8.6" "8.7" "8.8" "8.9" "8.10" ]; + compatibleCoqVersions = stdenv.lib.flip builtins.elem [ "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" "8.12" ]; }; } |