diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-10-07 15:12:11 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-10-16 02:43:46 +0000 |
| commit | b4db381443ed25a2664a12ca110f9a2a44c1b4bc (patch) | |
| tree | 0fb03228ce2fd4aa4fcc80f42f06c7c97e0a5dc2 /pkgs/development/coq-modules | |
| parent | 0cc70b5697d2e9bf77edc7ac0935f1da10b385ac (diff) | |
| download | nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar.gz nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar.bz2 nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar.lz nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar.xz nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.tar.zst nixpkgs-b4db381443ed25a2664a12ca110f9a2a44c1b4bc.zip | |
coq_8_10: 8.10+β3 → 8.10.0
coqPackages.coq-elpi: master → 1.1.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/coq-elpi/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix index c689cea1a82..defe52987aa 100644 --- a/pkgs/development/coq-modules/coq-elpi/default.nix +++ b/pkgs/development/coq-modules/coq-elpi/default.nix @@ -1,10 +1,10 @@ { stdenv, fetchFromGitHub, which, coq }: let params = { - "8.10" = { - version = "master"; - rev = "bc7134deba1aacc7ecd2f5d1032bdf05b125c568"; - sha256 = "188avk9irwjsbs5ya4ka01mpk3vw4397kv2rmsncqrrrsa1pdddk"; + "8.10" = rec { + version = "1.1.0"; + rev = "v${version}"; + sha256 = "06jyw7n27ylg02jvlaa3hs13hg8qgx47yn4dxhg9as1xri9a2rvm"; }; }; param = params.${coq.coq-version}; |