coqPackages.equations: 1.2-beta-8.9 for coq_8_9

This commit is contained in:
John Wiegley 2019-01-31 11:55:28 -08:00
parent 8020bd6869
commit 7239ffcc3c
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630

View File

@ -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