pyrox.dev
1{ callPackage, fetchurl, coq }:
2
3let param =
4 {
5 "8.5" = {
6 version = "1.6.1";
7 url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;
8 sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";
9 };
10
11 "8.6" = {
12 version = "1.6.4";
13 url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;
14 sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";
15 };
16
17 "8.7" = {
18 version = "1.6.4";
19 url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;
20 sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";
21 };
22
23 }."${coq.coq-version}"
24; in
25
26callPackage ./generic.nix {
27 name = "coq${coq.coq-version}-mathcomp-${param.version}";
28 src = fetchurl { inherit (param) url sha256; };
29}