gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.json: 0.1.3 -> 0.2.0 (#348516)

Browse Source
This commit is contained in:
Vincent Laporte
2024-10-15 08:46:27 +02:00
committed by GitHub
parent da60725146 0231e3b877
commit ee6abb1c0c
3 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-elpi/default.nix
+1
View File
@@ -10,6 +10,7 @@ let
{ case = "8.16"; out = { version = "1.17.0"; };}
{ case = "8.17"; out = { version = "1.17.0"; };}
{ case = "8.18"; out = { version = "1.18.1"; };}
{ case = "8.19"; out = { version = "1.18.1"; };}
{ case = "8.20"; out = { version = "1.19.2"; };}
] {} );
in (mkCoqDerivation {
pkgs/development/coq-modules/json/default.nix
+7 -3
View File
@@ -1,6 +1,6 @@
{ lib, mkCoqDerivation, coq, parsec, MenhirLib, version ? null }:
mkCoqDerivation {
(mkCoqDerivation {
pname = "json";
owner = "liyishuai";
repo = "coq-json";
@@ -8,19 +8,23 @@ mkCoqDerivation {
defaultVersion = let inherit (lib.versions) range; in
lib.switch coq.coq-version [
{ case = range "8.14" "8.20"; out = "0.2.0"; }
{ case = range "8.14" "8.20"; out = "0.1.3"; }
] null;
release = {
"0.2.0".sha256 = "sha256-qDRTgWLUvu4x3/d3BDcqo2I4W5ZmLyRiwuY/Tm/FuKA=";
"0.1.3".sha256 = "sha256-lElAzW4IuX+BB6ngDjlyKn0MytLRfbhQanB+Lct/WR0=";
};
releaseRev = v: "v${v}";
propagatedBuildInputs = [ parsec MenhirLib coq.ocamlPackages.menhir ];
buildFlags = [ "MENHIRFLAGS=--coq" "MENHIRFLAGS+=--coq-no-version-check" ];
useDuneifVersion = v: lib.versions.isGe "0.2.0" v || v == "dev";
meta = {
description = "From JSON to Coq, and vice versa.";
license = lib.licenses.bsd3;
};
}
}).overrideAttrs (o: lib.optionalAttrs (o.version != null
&& lib.versions.isLt "0.2.0" o.version)
{ buildFlags = [ "MENHIRFLAGS=--coq" "MENHIRFLAGS+=--coq-no-version-check" ]; })
pkgs/development/coq-modules/parsec/default.nix
+4
View File
@@ -11,14 +11,18 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.20"; out = "0.2.0"; }
{ case = range "8.14" "8.20"; out = "0.1.2"; }
{ case = range "8.12" "8.16"; out = "0.1.1"; }
{ case = range "8.12" "8.13"; out = "0.1.0"; }
] null;
release."0.2.0".sha256 = "sha256-hM6LVFQ2VQ42QeHu8Ex+oz1VvJUr+g8/nZN+bYHEljQ=";
release."0.1.2".sha256 = "sha256-QN0h1CsX86DQBDsluXLtNUvMh3r60/0iDSbYam67AhA=";
release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189";
release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr";
useDuneifVersion = v: lib.versions.isGe "0.2.0" v || v == "dev";
meta = with lib; {
description = "Library for serialization to S-expressions";
license = licenses.bsd3;