diff options
| author | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:55:28 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2019-01-31 11:56:07 -0800 |
| commit | 7239ffcc3c2b24b2b8505fef865dfc10e35b0593 (patch) | |
| tree | 735e36716d2ffce270d9d06d5b77eadf1e2d52ae /pkgs | |
| parent | 8020bd6869032e65a55428fa04f2efb81af1e9df (diff) | |
| download | nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.gz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.bz2 nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.lz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.xz nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.tar.zst nixlib-7239ffcc3c2b24b2b8505fef865dfc10e35b0593.zip | |
coqPackages.equations: 1.2-beta-8.9 for coq_8_9
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/coq-modules/equations/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix index 6072c000059f..1bc66fcf272a 100644 --- a/pkgs/development/coq-modules/equations/default.nix +++ b/pkgs/development/coq-modules/equations/default.nix @@ -19,6 +19,12 @@ let rev = "v1.0-8.8"; sha256 = "0dd7zd5j2sv5cw3mfwg33ss2vcj634q3qykakc41sv7f3rfgqfnn"; }; + + "8.9" = { + version = "1.2beta"; + rev = "v1.2-beta-8.9"; + sha256 = "1sj7vyarmvp1w5kvbhgpgap1yd0yrj4n1jrla0wv70k0jrq5hhpz"; + }; }; param = params."${coq.coq-version}" or params."8.8"; in |