diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-07-05 21:32:03 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-07-10 11:26:41 +0200 |
commit | d1a7237eee1455752e4ec9ed0c7265f9ada86fff (patch) | |
tree | 0eea1c44f79b16359cfff7922fa6704a2f7adcd7 /pkgs/development/coq-modules | |
parent | 473519a25d2f4215219ef97ea3742d4ee87775b6 (diff) | |
download | nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar.gz nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar.bz2 nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar.lz nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar.xz nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.tar.zst nixlib-d1a7237eee1455752e4ec9ed0c7265f9ada86fff.zip |
coqPackages.coq-extensible-records: remove at 1.2.0
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/coq-extensible-records/default.nix | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/pkgs/development/coq-modules/coq-extensible-records/default.nix b/pkgs/development/coq-modules/coq-extensible-records/default.nix deleted file mode 100644 index 2c2840f77d47..000000000000 --- a/pkgs/development/coq-modules/coq-extensible-records/default.nix +++ /dev/null @@ -1,60 +0,0 @@ -{ stdenv, fetchFromGitHub, coq }: - -let - versions = { - pre_8_9 = { - owner = "gmalecha"; - rev = "1.2.0"; - version = "1.2.0"; - sha256 = "0h5m04flqfk0v577syw0v1dw2wf7xrx6jaxv5gpmqzssf5hxafy4"; - }; - post_8_9 = { - owner = "Ptival"; - rev = "bd7082a3571ee3c111096ff6b5eb28c8d3a99ce5"; - version = "1.2.0+8.9-fix"; - sha256 = "0625qd8pyxi0v704fwnawrfw5fk966vnk120il0g6qv42siyck95"; - }; - }; - params = - { - "8.5" = versions.pre_8_9; - "8.6" = versions.pre_8_9; - "8.7" = versions.pre_8_9; - "8.8" = versions.pre_8_9; - "8.9" = versions.post_8_9; - "8.10" = versions.post_8_9; - "8.11" = versions.post_8_9; - "8.12" = versions.post_8_9; - }; - param = params.${coq.coq-version}; -in - -stdenv.mkDerivation rec { - inherit (param) version; - name = "coq${coq.coq-version}-coq-extensible-records-${version}"; - - src = fetchFromGitHub { - inherit (param) owner rev sha256; - repo = "coq-extensible-records"; - }; - - buildInputs = [ coq ]; - - enableParallelBuilding = true; - - installPhase = '' - make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install - ''; - - meta = with stdenv.lib; { - homepage = "https://github.com/gmalecha/coq-extensible-records"; - description = "Implementation of extensible records in Coq"; - license = licenses.mit; - maintainers = with maintainers; [ ptival ]; - platforms = coq.meta.platforms; - }; - - passthru = { - compatibleCoqVersions = stdenv.lib.flip builtins.hasAttr params; - }; -} |