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.6.tar.gz;
8 sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8";
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.6.tar.gz;
15 sha256 = "0adr556032r1jkvphbpfvrrv041qk0yqb7a1xnbam52ji0mdl2w8";
16 }
17
18 else throw "No mathcomp package for Coq version ${coq.coq-version}";
19
20in
21
22callPackage ./generic.nix {
23 inherit src;
24}