tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "smpl";
10 owner = "uds-psl";
11
12 release."8.10.2".sha256 = "sha256-TUfTZKBgrSOT6piXRViHSGPE9NSj3bGx2XBIw6YCcEs=";
13 release."8.12".sha256 = "sha256-UQbDHLVBKYk++o+Y2B6ARYRYGglytsnXhguwMatjOHg=";
14 release."8.13".sha256 = "sha256-HxQBaIE2CjyfG4GoIXprfehqjsr/Z74YdodxMmrbzSg=";
15 release."8.14".sha256 = "sha256:0wmrc741j67ch4rkygjkrz5i9afi01diyyj69i24cmasvx4wad38";
16 release."8.15".sha256 = "sha256:0m9xlkdhilvqb0v4q9c4hzfwffbccd6029ks39xg7qbiq6zklpvp";
17 releaseRev = v: "v${v}";
18
19 inherit version;
20 defaultVersion =
21 with lib.versions;
22 lib.switch coq.version [
23 {
24 case = isEq "8.15";
25 out = "8.15";
26 }
27 {
28 case = isEq "8.14";
29 out = "8.14";
30 }
31 {
32 case = "8.13.2";
33 out = "8.13";
34 }
35 {
36 case = "8.12.2";
37 out = "8.12";
38 }
39 {
40 case = "8.10.2";
41 out = "8.10.2";
42 }
43 ] null;
44
45 mlPlugin = true;
46
47 meta = {
48 description = "Coq plugin providing an extensible tactic similar to first";
49 maintainers = with lib.maintainers; [ siraben ];
50 license = lib.licenses.mit;
51 platforms = lib.platforms.unix;
52 };
53}