diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-05-26 17:37:12 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-06-02 09:18:29 +0200 |
| commit | 6f9d12460bcbf19aec38eb5f690815c439d431fe (patch) | |
| tree | 92aaf88c6c25e4cfcc068be9924cde6d0bc09df2 /pkgs/development/coq-modules/Cheerios | |
| parent | 550533171d4010181ed6b0124b037e4b7e8e20ae (diff) | |
| download | nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar.gz nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar.bz2 nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar.lz nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar.xz nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.tar.zst nixpkgs-6f9d12460bcbf19aec38eb5f690815c439d431fe.zip | |
coqPackages.Cheerios: 20181102 → 20200201
Diffstat (limited to 'pkgs/development/coq-modules/Cheerios')
| -rw-r--r-- | pkgs/development/coq-modules/Cheerios/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix index 14048d1b0d8..194a1a0752a 100644 --- a/pkgs/development/coq-modules/Cheerios/default.nix +++ b/pkgs/development/coq-modules/Cheerios/default.nix @@ -2,9 +2,9 @@ let param = { - version = "20181102"; - rev = "04da309304bdd28a1f7dacca9fdf8696204a4ff2"; - sha256 = "1xfa78p70c90favds1mv1vj5sr9bv0ad3dsgg05v3v72006g2f1q"; + version = "20200201"; + rev = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d"; + sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1"; }; in @@ -27,6 +27,6 @@ stdenv.mkDerivation { installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ]; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ]; + compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" "8.10" "8.11" ]; }; } |