tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, mkCoqDerivation, coq, mathcomp-algebra,
2 coq-elpi, mathcomp-zify, version ? null }:
3
4mkCoqDerivation {
5 namePrefix = [ "coq" "mathcomp" ];
6 pname = "algebra-tactics";
7 owner = "math-comp";
8 inherit version;
9
10 defaultVersion = with lib.versions;
11 lib.switch [ coq.coq-version mathcomp-algebra.version ] [
12 { cases = [ (range "8.16" "8.17") (isGe "1.15") ]; out = "1.1.1"; }
13 { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.0.0"; }
14 ] null;
15
16 release."1.0.0".sha256 = "sha256-kszARPBizWbxSQ/Iqpf2vLbxYc6AjpUCLnSNlPcNfls=";
17 release."1.1.1".sha256 = "sha256-5wItMeeTRoJlRBH3zBNc2VUZn6pkDde60YAvXTx+J3U=";
18
19 propagatedBuildInputs = [ mathcomp-algebra coq-elpi mathcomp-zify ];
20
21 meta = {
22 description = "Ring and field tactics for Mathematical Components";
23 maintainers = with lib.maintainers; [ cohencyril ];
24 };
25}