pkgs/development/coq-modules/metalib/default.nix at devShellTools-shell · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / coq-modules / metalib / default.nix

at devShellTools-shell 749 B view raw

 1{
 2  lib,
 3  mkCoqDerivation,
 4  coq,
 5  version ? null,
 6}:
 7
 8(mkCoqDerivation {
 9  pname = "metalib";
10  owner = "plclub";
11  inherit version;
12  defaultVersion =
13    with lib.versions;
14    lib.switch coq.coq-version [
15      {
16        case = range "8.14" "8.18";
17        out = "8.15";
18      }
19      {
20        case = range "8.10" "8.13";
21        out = "8.10";
22      }
23    ] null;
24  releaseRev = v: "coq${v}";
25  release."8.15".sha256 = "0wbp058zwa4bkdjj38aysy2g1avf9nrh8q23a3dil0q00qczi616";
26  release."8.10".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs";
27
28  meta = with lib; {
29    license = licenses.mit;
30    maintainers = [ maintainers.jwiegley ];
31  };
32}).overrideAttrs
33  (oldAttrs: {
34    sourceRoot = "${oldAttrs.src.name}/Metalib";
35  })