pyrox.dev
1{ callPackage, coq, fetchurl }:
2
3let src =
4 if coq.coq-version == "8.4" then
5
6 fetchurl {
7 url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.5.tar.gz;
8 sha256 = "1297svwi18blrlyd8vsqilar2h5nfixlvlifdkbx47aljq4m5bam";
9 }
10
11 else if coq.coq-version == "8.5" then
12
13 fetchurl {
14 url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.5.coq85beta2.tar.gz;
15 sha256 = "03bnq44ym43x8shi7whc02l0g5vy6rx8f1imjw478chlgwcxazqy";
16 }
17
18 else throw "No mathcomp package for Coq version ${coq.coq-version}";
19
20in
21
22callPackage ./generic.nix {
23 inherit src;
24}