nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-30 03:39:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages: small cleaning (#547005)

Browse Source
This commit is contained in:
Vincent Laporte
2026-08-05 08:28:24 +00:00
committed by GitHub
parent ae3f0ce1f1 69904f2e6a
commit cdaa00fb96
3 changed files with 50 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/QuickChick/default.nix
View File

@@ -25,8 +25,8 @@
lib.switch
[ coq.coq-version mathcomp-boot.version ]
[
(case (lib.versions.range "8.15" "9.1") lib.pred.true "2.1.1")
(case (lib.versions.range "8.13" "8.17") lib.pred.true "1.6.5")
(case (lib.versions.range "8.20" "9.1") lib.pred.true "2.1.1")
(case (lib.versions.range "8.13" "8.16") lib.pred.true "1.6.5")
(case "8.13" lib.pred.true "1.5.0")
(case "8.12" lib.pred.true "1.4.0")
(case "8.11" lib.pred.true "1.3.2")

88
pkgs/development/coq-modules/simple-io/default.nix
View File

@@ -1,56 +1,62 @@
{
lib,
callPackage,
mkCoqDerivation,
mkRocqDerivation,
coq,
dune,
ExtLib,
version ? null,
}:
(mkCoqDerivation {
pname = "simple-io";
owner = "Lysxia";
repo = "coq-simple-io";
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.coq-version [
(case (range "8.17" "9.1") "1.11.0")
(case (range "8.11" "8.19") "1.8.0")
(case (range "8.7" "8.13") "1.3.0")
] null;
release."1.11.0".hash = "sha256-sgbH7eI4TPHOQ5qBvM6x7G3j8B40HSEMEzFaN1G9VEw=";
release."1.10.0".hash = "sha256-67cBhLvRMWLWBL7NXK1zZTQC4PtSKu9qtesU4SqKkOw=";
release."1.8.0".hash = "sha256-3ADNeXrBIpYRlfUW+LkLHUWV1w1HFrVc/TZISMuwvRY=";
release."1.7.0".hash = "sha256:1a1q9x2abx71hqvjdai3n12jxzd49mhf3nqqh3ya2ssl2lj609ci";
release."1.3.0".hash = "sha256:1yp7ca36jyl9kz35ghxig45x6cd0bny2bpmy058359p94wc617ax";
mlPlugin = true;
nativeBuildInputs = [ coq.ocamlPackages.cppo ];
propagatedBuildInputs = [
ExtLib
]
++ (with coq.ocamlPackages; [
ocaml
findlib
ocamlbuild
]);
(mkRocqDerivation.override
(lib.optionalAttrs (coq.coq-version == "8.20") { dune = dune.override { version = "3.21.1"; }; })
{
useCoq = true;
namePrefix = [ "coq" ];
pname = "simple-io";
owner = "Lysxia";
repo = "coq-simple-io";
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.coq-version [
(case (range "8.20" "9.1") "1.11.0")
(case (range "8.11" "8.16") "1.8.0")
(case (range "8.10" "8.13") "1.3.0")
] null;
release."1.11.0".hash = "sha256-sgbH7eI4TPHOQ5qBvM6x7G3j8B40HSEMEzFaN1G9VEw=";
release."1.10.0".hash = "sha256-67cBhLvRMWLWBL7NXK1zZTQC4PtSKu9qtesU4SqKkOw=";
release."1.8.0".hash = "sha256-3ADNeXrBIpYRlfUW+LkLHUWV1w1HFrVc/TZISMuwvRY=";
release."1.7.0".hash = "sha256:1a1q9x2abx71hqvjdai3n12jxzd49mhf3nqqh3ya2ssl2lj609ci";
release."1.3.0".hash = "sha256:1yp7ca36jyl9kz35ghxig45x6cd0bny2bpmy058359p94wc617ax";
mlPlugin = true;
nativeBuildInputs = [ coq.ocamlPackages.cppo ];
propagatedBuildInputs = [
ExtLib
]
++ (with coq.ocamlPackages; [
ocaml
findlib
ocamlbuild
]);
doCheck = true;
checkTarget = "test";
doCheck = true;
checkTarget = "test";
useDuneifVersion = v: (lib.versionAtLeast v "1.10.0" || v == "dev");
useDuneifVersion = v: (lib.versionAtLeast v "1.10.0" || v == "dev");
passthru.tests.HelloWorld = callPackage ./test.nix { };
passthru.tests.HelloWorld = callPackage ./test.nix { };
meta = {
description = "Purely functional IO for Coq";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.vbgl ];
};
}).overrideAttrs
meta = {
description = "Purely functional IO for Coq";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.vbgl ];
};
}
).overrideAttrs
(
o:
lib.optionalAttrs (lib.versionAtLeast o.version "1.8.0" || o.version == "dev") {

2
pkgs/top-level/ocaml-packages.nix
View File

@@ -589,7 +589,7 @@ let
};
in
{
ppx_deriving_0_15 = ppx_deriving_ "0.15";
ppx_deriving_0_15 = ppx_deriving_ "0.15.0";
ppx_deriving_0_33 = ppx_deriving_ "0.33.0";
}
);