@@ -11,12 +11,12 @@
|
||||
ocaml-syntax-shims,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "alcotest";
|
||||
version = "1.9.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/alcotest/releases/download/${version}/alcotest-${version}.tbz";
|
||||
url = "https://github.com/mirage/alcotest/releases/download/${finalAttrs.version}/alcotest-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-HinDtB1DKQYhBbcj39o6/4a4zvXnx1ANDkkfxf145II=";
|
||||
};
|
||||
|
||||
@@ -39,4 +39,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.isc;
|
||||
maintainers = [ lib.maintainers.ericbmerritt ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
qcheck-core,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "algaeff";
|
||||
version = "2.0.0";
|
||||
|
||||
@@ -14,8 +14,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "RedPRL";
|
||||
repo = pname;
|
||||
rev = version;
|
||||
repo = "algaeff";
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-VRZfULbXKRcExU1bnEu/X1KPX+L+dzcRYZVD985rQT4=";
|
||||
};
|
||||
|
||||
@@ -31,4 +31,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
alsa-lib,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "alsa";
|
||||
version = "0.3.0";
|
||||
|
||||
@@ -15,7 +15,7 @@ buildDunePackage rec {
|
||||
src = fetchFromGitHub {
|
||||
owner = "savonet";
|
||||
repo = "ocaml-alsa";
|
||||
rev = version;
|
||||
rev = finalAttrs.version;
|
||||
sha256 = "1qy22g73qc311rmv41w005rdlj5mfnn4yj1dx1jhqzr31zixl8hj";
|
||||
};
|
||||
|
||||
@@ -28,4 +28,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.gpl2Only;
|
||||
maintainers = with lib.maintainers; [ dandellion ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -3,14 +3,14 @@
|
||||
buildDunePackage,
|
||||
fetchurl,
|
||||
}:
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "ancient";
|
||||
version = "0.10.0";
|
||||
|
||||
minimalOCamlVersion = "4.12";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/OCamlPro/ocaml-ancient/releases/download/${version}/ancient-${version}.tbz";
|
||||
url = "https://github.com/OCamlPro/ocaml-ancient/releases/download/${finalAttrs.version}/ancient-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-XeVUPrdg7QSV7V0Tz8Mkj5jvzKtYD9DON+tt9kkuCHM=";
|
||||
};
|
||||
|
||||
@@ -35,8 +35,8 @@ buildDunePackage rec {
|
||||
file in and see the structures.
|
||||
'';
|
||||
homepage = "https://github.com/OCamlPro/ocaml-ancient";
|
||||
changelog = "https://raw.githubusercontent.com/OCamlPro/ocaml-ancient/refs/tags/${version}/CHANGES.md";
|
||||
changelog = "https://raw.githubusercontent.com/OCamlPro/ocaml-ancient/refs/tags/${finalAttrs.version}/CHANGES.md";
|
||||
license = lib.licenses.lgpl21Plus;
|
||||
maintainers = with lib.maintainers; [ momeemt ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -10,7 +10,7 @@
|
||||
gitUpdater,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "angstrom";
|
||||
version = "0.16.1";
|
||||
|
||||
@@ -18,8 +18,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "inhabitedtype";
|
||||
repo = pname;
|
||||
rev = version;
|
||||
repo = "angstrom";
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-EPqDK+7RU2vHEHvuoTXb8V2FkdXQ6tGu0ghbNPS3gZ4=";
|
||||
};
|
||||
|
||||
@@ -39,4 +39,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = with lib.maintainers; [ sternenseemann ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -4,12 +4,12 @@
|
||||
fetchurl,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "ANSITerminal";
|
||||
version = "0.8.5";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/Chris00/ANSITerminal/releases/download/${version}/ANSITerminal-${version}.tbz";
|
||||
url = "https://github.com/Chris00/ANSITerminal/releases/download/${finalAttrs.version}/ANSITerminal-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-q3OyGLajAmfSu8QzEtzzE5gbiwvsVV2SsGuHZkst0w4=";
|
||||
};
|
||||
|
||||
@@ -33,4 +33,4 @@ buildDunePackage rec {
|
||||
];
|
||||
maintainers = [ lib.maintainers.jirkamarsik ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,14 +6,14 @@
|
||||
libao,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "ao";
|
||||
version = "0.2.4";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "savonet";
|
||||
repo = "ocaml-ao";
|
||||
rev = "v${version}";
|
||||
rev = "v${finalAttrs.version}";
|
||||
sha256 = "sha256-HhJdb4i9B4gz3emgDCDT4riQuAsY4uP/47biu7EZ+sk=";
|
||||
};
|
||||
|
||||
@@ -26,4 +26,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.lgpl21Plus;
|
||||
maintainers = with lib.maintainers; [ dandellion ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -14,13 +14,13 @@
|
||||
pplite,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
pname = "ocaml${ocaml.version}-apron";
|
||||
version = "0.9.15";
|
||||
src = fetchFromGitHub {
|
||||
owner = "antoinemine";
|
||||
repo = "apron";
|
||||
rev = "v${version}";
|
||||
rev = "v${finalAttrs.version}";
|
||||
hash = "sha256-gHLCurydxX1pS66DTAWUJGl9Yqu9RWRjkZh6lXzM7YY=";
|
||||
};
|
||||
|
||||
@@ -63,4 +63,4 @@ stdenv.mkDerivation rec {
|
||||
description = "Numerical abstract domain library";
|
||||
inherit (ocaml.meta) platforms;
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,12 +7,12 @@
|
||||
ounit2,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "arg-complete";
|
||||
version = "0.2.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/sim642/ocaml-arg-complete/releases/download/${version}/arg-complete-${version}.tbz";
|
||||
url = "https://github.com/sim642/ocaml-arg-complete/releases/download/${finalAttrs.version}/arg-complete-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-SZvLaeeqY3j2LUvqxGs0Vw57JnnpdvAk1jnE3pk27QU=";
|
||||
};
|
||||
|
||||
@@ -24,8 +24,8 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
description = "Bash completion support for OCaml Stdlib.Arg";
|
||||
homepage = "https://sim642.github.io/ocaml-arg-complete/";
|
||||
changelog = "https://raw.githubusercontent.com/sim642/ocaml-arg-complete/refs/tags/${version}/CHANGELOG.md";
|
||||
changelog = "https://raw.githubusercontent.com/sim642/ocaml-arg-complete/refs/tags/${finalAttrs.version}/CHANGELOG.md";
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -9,14 +9,14 @@
|
||||
buildDunePackage,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "argon2";
|
||||
version = "1.0.2";
|
||||
|
||||
minimalOCamlVersion = "4.02.3";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/Khady/ocaml-argon2/releases/download/${version}/argon2-${version}.tbz";
|
||||
url = "https://github.com/Khady/ocaml-argon2/releases/download/${finalAttrs.version}/argon2-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-NDsOV4kPT2SnSfNHDBAK+VKZgHDIKxW+dNJ/C5bQ8gU=";
|
||||
};
|
||||
|
||||
@@ -37,4 +37,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = with lib.maintainers; [ naora ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -16,12 +16,12 @@
|
||||
mirage-vnetif,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "arp";
|
||||
version = "4.0.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-${version}.tbz";
|
||||
url = "https://github.com/mirage/arp/releases/download/v${finalAttrs.version}/arp-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-C2Bh/2NwZqCJEidCnkhwRMoW3AsbQtvwdFh9IiJkDaU=";
|
||||
};
|
||||
|
||||
@@ -52,4 +52,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.isc;
|
||||
maintainers = with lib.maintainers; [ sternenseemann ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
bwd,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "asai";
|
||||
version = "0.3.1";
|
||||
|
||||
@@ -14,8 +14,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "RedPRL";
|
||||
repo = pname;
|
||||
rev = version;
|
||||
repo = "asai";
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-IpRLX7umpmlNt2uV2MB+YvjAvNk0+gl5plbBExVvcdM=";
|
||||
};
|
||||
|
||||
@@ -30,4 +30,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,11 +7,11 @@
|
||||
ocaml,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "asetmap";
|
||||
version = "0.8.1";
|
||||
src = fetchurl {
|
||||
url = "https://github.com/dbuenzli/asetmap/archive/refs/tags/v${version}.tar.gz";
|
||||
url = "https://github.com/dbuenzli/asetmap/archive/refs/tags/v${finalAttrs.version}.tar.gz";
|
||||
sha256 = "051ky0k62xp4inwi6isif56hx5ggazv4jrl7s5lpvn9cj8329frj";
|
||||
};
|
||||
|
||||
@@ -28,4 +28,4 @@ buildDunePackage rec {
|
||||
inherit (topkg) buildPhase installPhase;
|
||||
|
||||
meta = { inherit (ocaml.meta) platforms; };
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,14 +7,14 @@
|
||||
ohex,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
minimalOCamlVersion = "4.13.0";
|
||||
|
||||
pname = "asn1-combinators";
|
||||
version = "0.3.2";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirleft/ocaml-asn1-combinators/releases/download/v${version}/asn1-combinators-${version}.tbz";
|
||||
url = "https://github.com/mirleft/ocaml-asn1-combinators/releases/download/v${finalAttrs.version}/asn1-combinators-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-KyaYX24nIgc9zZ+ENVvWdX4SZDtaSOMLPAf/fPsNin8=";
|
||||
};
|
||||
|
||||
@@ -28,9 +28,9 @@ buildDunePackage rec {
|
||||
|
||||
meta = {
|
||||
homepage = "https://github.com/mirleft/ocaml-asn1-combinators";
|
||||
changelog = "https://github.com/mirleft/ocaml-asn1-combinators/blob/v${version}/CHANGES.md";
|
||||
changelog = "https://github.com/mirleft/ocaml-asn1-combinators/blob/v${finalAttrs.version}/CHANGES.md";
|
||||
description = "Combinators for expressing ASN.1 grammars in OCaml";
|
||||
license = lib.licenses.isc;
|
||||
maintainers = with lib.maintainers; [ vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -19,12 +19,12 @@
|
||||
mirage-mtime,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "awa";
|
||||
version = "0.5.2";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/awa-ssh/releases/download/v${version}/awa-${version}.tbz";
|
||||
url = "https://github.com/mirage/awa-ssh/releases/download/v${finalAttrs.version}/awa-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-64gloekVN0YsBwUodrJc6QaNU3PGKMIZMPJWvBfzaj0=";
|
||||
};
|
||||
|
||||
@@ -53,8 +53,8 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
description = "SSH implementation in OCaml";
|
||||
homepage = "https://github.com/mirage/awa-ssh";
|
||||
changelog = "https://github.com/mirage/awa-ssh/raw/v${version}/CHANGES.md";
|
||||
changelog = "https://github.com/mirage/awa-ssh/raw/v${finalAttrs.version}/CHANGES.md";
|
||||
license = lib.licenses.isc;
|
||||
maintainers = [ lib.maintainers.sternenseemann ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -9,13 +9,13 @@
|
||||
cmdliner,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
|
||||
pname = "ocaml${ocaml.version}-b0";
|
||||
version = "0.0.5";
|
||||
|
||||
src = fetchurl {
|
||||
url = "${meta.homepage}/releases/b0-${version}.tbz";
|
||||
url = "https://erratique.ch/software/b0/releases/b0-${finalAttrs.version}.tbz";
|
||||
sha256 = "sha256-ty04JQcP4RCme/VQw0ko2IBebWWX5cBU6nRTTeV1I/I=";
|
||||
};
|
||||
|
||||
@@ -56,4 +56,4 @@ stdenv.mkDerivation rec {
|
||||
maintainers = [ lib.maintainers.Julow ];
|
||||
broken = !(lib.versionAtLeast ocaml.version "4.08");
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -5,12 +5,12 @@
|
||||
alcotest,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "backoff";
|
||||
version = "0.1.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/ocaml-multicore/backoff/releases/download/${version}/backoff-${version}.tbz";
|
||||
url = "https://github.com/ocaml-multicore/backoff/releases/download/${finalAttrs.version}/backoff-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-AL6jEbInsbwKVYedpNzjix/YRHtOTizxk6aVNzesnwM=";
|
||||
};
|
||||
|
||||
@@ -26,4 +26,4 @@ buildDunePackage rec {
|
||||
};
|
||||
|
||||
minimalOCamlVersion = "4.12";
|
||||
}
|
||||
})
|
||||
|
||||
@@ -42,7 +42,7 @@
|
||||
z3,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
pname = "ocaml${ocaml.version}-bap";
|
||||
version = "2.5.0+pr1621";
|
||||
src = fetchFromGitHub {
|
||||
@@ -53,15 +53,15 @@ stdenv.mkDerivation rec {
|
||||
};
|
||||
|
||||
sigs = fetchurl {
|
||||
url = "https://github.com/BinaryAnalysisPlatform/bap/releases/download/v${version}/sigs.zip";
|
||||
url = "https://github.com/BinaryAnalysisPlatform/bap/releases/download/v${finalAttrs.version}/sigs.zip";
|
||||
sha256 = "0d69jd28z4g64mglq94kj5imhmk5f6sgcsh9q2nij3b0arpcliwk";
|
||||
};
|
||||
|
||||
createFindlibDestdir = true;
|
||||
|
||||
setupHook = writeText "setupHook.sh" ''
|
||||
export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH-}''${CAML_LD_LIBRARY_PATH:+:}''$1/lib/ocaml/${ocaml.version}/site-lib/ocaml${ocaml.version}-bap-${version}/"
|
||||
export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH-}''${CAML_LD_LIBRARY_PATH:+:}''$1/lib/ocaml/${ocaml.version}/site-lib/ocaml${ocaml.version}-bap-${version}-llvm-plugins/"
|
||||
export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH-}''${CAML_LD_LIBRARY_PATH:+:}''$1/lib/ocaml/${ocaml.version}/site-lib/ocaml${ocaml.version}-bap-${finalAttrs.version}/"
|
||||
export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH-}''${CAML_LD_LIBRARY_PATH:+:}''$1/lib/ocaml/${ocaml.version}/site-lib/ocaml${ocaml.version}-bap-${finalAttrs.version}-llvm-plugins/"
|
||||
'';
|
||||
|
||||
nativeBuildInputs = [
|
||||
@@ -134,7 +134,7 @@ stdenv.mkDerivation rec {
|
||||
'';
|
||||
|
||||
configureFlags = [
|
||||
"--enable-everything ${disableIda} ${disableGhidra}"
|
||||
"--enable-everything ${finalAttrs.disableIda} ${finalAttrs.disableGhidra}"
|
||||
"--with-llvm-config=${llvm.dev}/bin/llvm-config"
|
||||
];
|
||||
|
||||
@@ -146,4 +146,4 @@ stdenv.mkDerivation rec {
|
||||
mainProgram = "bap";
|
||||
broken = lib.versionOlder ocaml.version "4.08";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -9,14 +9,14 @@
|
||||
rresult,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "base64";
|
||||
version = "3.5.2";
|
||||
|
||||
minimalOCamlVersion = "4.07";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/ocaml-base64/releases/download/v${version}/base64-${version}.tbz";
|
||||
url = "https://github.com/mirage/ocaml-base64/releases/download/v${finalAttrs.version}/base64-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-s/XOMBqnLHAy75C+IzLXL/OWKSLADuKuxryt4Yei9Zs=";
|
||||
};
|
||||
|
||||
@@ -36,4 +36,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.isc;
|
||||
maintainers = with lib.maintainers; [ vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -5,14 +5,14 @@
|
||||
stdlib-shims,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bdd";
|
||||
version = "0.5";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "backtracking";
|
||||
repo = "ocaml-bdd";
|
||||
tag = version;
|
||||
tag = finalAttrs.version;
|
||||
hash = "sha256-bhgKpo7gGkjbI75pzckfQulZnTstj6G5QcErLgIGneU=";
|
||||
};
|
||||
|
||||
@@ -32,4 +32,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.lgpl21Only;
|
||||
maintainers = with lib.maintainers; [ wegank ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -4,14 +4,14 @@
|
||||
buildDunePackage,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "benchmark";
|
||||
version = "1.7";
|
||||
|
||||
minimalOCamlVersion = "4.03";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/Chris00/ocaml-benchmark/releases/download/v${version}/benchmark-${version}.tbz";
|
||||
url = "https://github.com/Chris00/ocaml-benchmark/releases/download/v${finalAttrs.version}/benchmark-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-Aij7vJzamNWQfjLeGgENlIp6Il8+Wc9hsahr4eDGs68=";
|
||||
};
|
||||
|
||||
@@ -23,8 +23,8 @@ buildDunePackage rec {
|
||||
your functions and to easily compare the results. A statistical test
|
||||
is used to determine whether the results truly differ.
|
||||
'';
|
||||
changelog = "https://raw.githubusercontent.com/Chris00/ocaml-benchmark/refs/tags/v${version}/CHANGES.md";
|
||||
changelog = "https://raw.githubusercontent.com/Chris00/ocaml-benchmark/refs/tags/v${finalAttrs.version}/CHANGES.md";
|
||||
license = lib.licenses.lgpl3;
|
||||
maintainers = with lib.maintainers; [ momeemt ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
qcheck,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bencode";
|
||||
version = "2.0";
|
||||
minimalOCamlVersion = "4.02.0";
|
||||
@@ -14,7 +14,7 @@ buildDunePackage rec {
|
||||
src = fetchFromGitHub {
|
||||
owner = "rgrinberg";
|
||||
repo = "bencode";
|
||||
tag = version;
|
||||
tag = finalAttrs.version;
|
||||
hash = "sha256-sEMS9oBOPeFX1x7cHjbQhCD2QI5yqC+550pPqqMsVws=";
|
||||
};
|
||||
|
||||
@@ -27,8 +27,8 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
description = "Bencode (.torrent file format) reader/writer in OCaml ";
|
||||
homepage = "https://github.com/rgrinberg/bencode";
|
||||
changelog = "https://github.com/rgrinberg/bencode/blob/${version}/Changelog.md";
|
||||
changelog = "https://github.com/rgrinberg/bencode/blob/${finalAttrs.version}/Changelog.md";
|
||||
license = lib.licenses.mit;
|
||||
maintainers = with lib.maintainers; [ infinidoge ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,12 +6,12 @@
|
||||
pkg-config,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bigarray-overlap";
|
||||
version = "0.2.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/dinosaure/overlap/releases/download/v${version}/bigarray-overlap-${version}.tbz";
|
||||
url = "https://github.com/dinosaure/overlap/releases/download/v${finalAttrs.version}/bigarray-overlap-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-L1IKxHAFTjNYg+upJUvyi2Z23bV3U8+1iyLPhK4aZuA=";
|
||||
};
|
||||
|
||||
@@ -28,4 +28,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.sternenseemann ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
ocaml,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bigstring";
|
||||
version = "0.3";
|
||||
|
||||
@@ -20,7 +20,7 @@ buildDunePackage rec {
|
||||
src = fetchFromGitHub {
|
||||
owner = "c-cube";
|
||||
repo = "ocaml-bigstring";
|
||||
rev = version;
|
||||
rev = finalAttrs.version;
|
||||
sha256 = "0bkxwdcswy80f6rmx5wjza92xzq4rdqsb4a9fm8aav8bdqx021n8";
|
||||
};
|
||||
|
||||
@@ -33,4 +33,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = [ lib.maintainers.alexfmpe ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,7 +7,7 @@
|
||||
dune-configurator,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bigstringaf";
|
||||
version = "0.10.0";
|
||||
|
||||
@@ -15,8 +15,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "inhabitedtype";
|
||||
repo = pname;
|
||||
tag = version;
|
||||
repo = "bigstringaf";
|
||||
tag = finalAttrs.version;
|
||||
hash = "sha256-p1hdB3ArOd2UX7S6YvXCFbYjEiXdMDmBaC/lFQgua7Q=";
|
||||
};
|
||||
|
||||
@@ -39,9 +39,9 @@ buildDunePackage rec {
|
||||
|
||||
So here they are. Go crazy.
|
||||
'';
|
||||
changelog = "https://github.com/inhabitedtype/bigstringaf/releases/tag/${version}";
|
||||
changelog = "https://github.com/inhabitedtype/bigstringaf/releases/tag/${finalAttrs.version}";
|
||||
license = lib.licenses.bsd3;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
inherit (src.meta) homepage;
|
||||
inherit (finalAttrs.src.meta) homepage;
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
timed,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bindlib";
|
||||
version = "6.0.0";
|
||||
|
||||
@@ -14,8 +14,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "rlepigre";
|
||||
repo = "ocaml-${pname}";
|
||||
rev = version;
|
||||
repo = "ocaml-bindlib";
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-058yMbz9ExvgNG/kY9tPk70XSeVRSSKVg4n4F4fmPu4=";
|
||||
};
|
||||
|
||||
@@ -29,7 +29,7 @@ buildDunePackage rec {
|
||||
homepage = "https://rlepigre.github.io/ocaml-bindlib";
|
||||
description = "Efficient binder representation in Ocaml";
|
||||
license = lib.licenses.gpl3;
|
||||
changelog = "https://github.com/rlepigre/ocaml-bindlib/raw/${version}/CHANGELOG.md";
|
||||
changelog = "https://github.com/rlepigre/ocaml-bindlib/raw/${finalAttrs.version}/CHANGELOG.md";
|
||||
maintainers = with lib.maintainers; [ bcdarwin ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,12 +6,12 @@
|
||||
easy-format,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "biniou";
|
||||
version = "1.2.2";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/ocaml-community/biniou/releases/download/${version}/biniou-${version}.tbz";
|
||||
url = "https://github.com/ocaml-community/biniou/releases/download/${finalAttrs.version}/biniou-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-i/P/F80Oyy1rbR2UywjvCJ1Eyu+W6brmvmg51Cj6MY8=";
|
||||
};
|
||||
|
||||
@@ -27,4 +27,4 @@ buildDunePackage rec {
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
mainProgram = "bdump";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -4,14 +4,14 @@
|
||||
fetchurl,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "binning";
|
||||
version = "0.0.0";
|
||||
|
||||
minimalOCamlVersion = "4.08";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/pveber/binning/releases/download/v${version}/binning-v${version}.tbz";
|
||||
url = "https://github.com/pveber/binning/releases/download/v${finalAttrs.version}/binning-v${finalAttrs.version}.tbz";
|
||||
hash = "sha256-eG+xctsbc7lQ5pFOUtJ8rjNW/06gygwLADq7yc8Yf/c=";
|
||||
};
|
||||
|
||||
@@ -21,4 +21,4 @@ buildDunePackage rec {
|
||||
homepage = "https://github.com/pveber/binning/";
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -19,14 +19,14 @@
|
||||
vg,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "biotk";
|
||||
version = "0.3";
|
||||
|
||||
minimalOCamlVersion = "4.13";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/pveber/biotk/releases/download/v${version}/biotk-${version}.tbz";
|
||||
url = "https://github.com/pveber/biotk/releases/download/v${finalAttrs.version}/biotk-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-9eRd3qYteUxu/xNEUER/DHodr6cTCuPtSKr38x32gig=";
|
||||
};
|
||||
|
||||
@@ -54,4 +54,4 @@ buildDunePackage rec {
|
||||
description = "Toolkit for bioinformatics in OCaml";
|
||||
license = lib.licenses.cecill-c;
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,14 +7,14 @@
|
||||
ppxlib,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bisect_ppx";
|
||||
version = "2.8.3";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "aantron";
|
||||
repo = "bisect_ppx";
|
||||
rev = version;
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-3qXobZLPivFDtls/3WNqDuAgWgO+tslJV47kjQPoi6o=";
|
||||
};
|
||||
|
||||
@@ -48,4 +48,4 @@ buildDunePackage rec {
|
||||
maintainers = with lib.maintainers; [ momeemt ];
|
||||
mainProgram = "bisect-ppx-report";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -16,13 +16,13 @@
|
||||
ppxlib,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bistro";
|
||||
version = "unstable-2024-05-17";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "pveber";
|
||||
repo = pname;
|
||||
repo = "bistro";
|
||||
rev = "d44c44b52148e58ca3842c3efedf3115e376d800";
|
||||
sha256 = "sha256-naoCEVBfydqSeGGbXYBXfg0PP+Fzk05jFoul7XAz/tM=";
|
||||
};
|
||||
@@ -44,10 +44,10 @@ buildDunePackage rec {
|
||||
minimalOCamlVersion = "4.14";
|
||||
|
||||
meta = {
|
||||
inherit (src.meta) homepage;
|
||||
inherit (finalAttrs.src.meta) homepage;
|
||||
description = "Build and execute typed scientific workflows";
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
license = lib.licenses.gpl2;
|
||||
broken = lib.versionAtLeast ppxlib.version "0.36";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
stdlib-shims,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bitstring";
|
||||
version = "4.1.1";
|
||||
|
||||
@@ -13,8 +13,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "xguerin";
|
||||
repo = pname;
|
||||
rev = "v${version}";
|
||||
repo = "bitstring";
|
||||
rev = "v${finalAttrs.version}";
|
||||
sha256 = "sha256-eO7/S9PoMybZPnQQ+q9qbqKpYO4Foc9OjW4uiwwNds8=";
|
||||
};
|
||||
|
||||
@@ -26,4 +26,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.lgpl21Plus;
|
||||
maintainers = [ lib.maintainers.maurer ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -4,7 +4,7 @@
|
||||
buildDunePackage,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bitv";
|
||||
version = "2.1";
|
||||
minimalOCamlVersion = "4.08";
|
||||
@@ -12,7 +12,7 @@ buildDunePackage rec {
|
||||
src = fetchFromGitHub {
|
||||
owner = "backtracking";
|
||||
repo = "bitv";
|
||||
tag = version;
|
||||
tag = finalAttrs.version;
|
||||
hash = "sha256-jlpVMqYOiKxoU6wuVeYlOC5wRtF4aakljKpop6dfu8w=";
|
||||
};
|
||||
|
||||
@@ -20,7 +20,7 @@ buildDunePackage rec {
|
||||
description = "Bit vector library for OCaml";
|
||||
license = lib.licenses.lgpl21;
|
||||
homepage = "https://github.com/backtracking/bitv";
|
||||
changelog = "https://github.com/backtracking/bitv/releases/tag/${version}";
|
||||
changelog = "https://github.com/backtracking/bitv/releases/tag/${finalAttrs.version}";
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,14 +7,14 @@
|
||||
libjack2,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bjack";
|
||||
version = "0.1.6";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "savonet";
|
||||
repo = "ocaml-bjack";
|
||||
rev = "v${version}";
|
||||
rev = "v${finalAttrs.version}";
|
||||
hash = "sha256-jIxxqBVWphWYyLh+24rTxk4WWfPPdGCvNdevFJEKw70=";
|
||||
};
|
||||
|
||||
@@ -30,4 +30,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.lgpl21Only;
|
||||
maintainers = with lib.maintainers; [ dandellion ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -8,11 +8,11 @@
|
||||
integers_stubs_js,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bls12-381-signature";
|
||||
version = "1.0.0";
|
||||
src = fetchzip {
|
||||
url = "https://gitlab.com/nomadic-labs/cryptography/ocaml-${pname}/-/archive/${version}/ocaml-bls12-381-signature-${version}.tar.bz2";
|
||||
url = "https://gitlab.com/nomadic-labs/cryptography/ocaml-bls12-381-signature/-/archive/${finalAttrs.version}/ocaml-bls12-381-signature-${finalAttrs.version}.tar.bz2";
|
||||
sha256 = "sha256-KaUpAT+BWxmUP5obi4loR9vVUeQmz3p3zG3CBolUuL4=";
|
||||
};
|
||||
|
||||
@@ -36,4 +36,4 @@ buildDunePackage rec {
|
||||
homepage = "https://gitlab.com/nomadic-labs/cryptography/ocaml-bls12-381-signature";
|
||||
maintainers = [ lib.maintainers.ulrikstrid ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -10,13 +10,13 @@
|
||||
alcotest,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bls12-381";
|
||||
version = "6.1.0";
|
||||
src = fetchFromGitLab {
|
||||
owner = "nomadic-labs";
|
||||
repo = "cryptography/ocaml-bls12-381";
|
||||
rev = version;
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-z2ZSOrXgm+XjdrY91vqxXSKhA0DyJz6JkkNljDZznX8=";
|
||||
};
|
||||
|
||||
@@ -46,4 +46,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.ulrikstrid ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,14 +6,14 @@
|
||||
zarith,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bls12-381-gen";
|
||||
version = "0.4.4";
|
||||
|
||||
src = fetchFromGitLab {
|
||||
owner = "dannywillems";
|
||||
repo = "ocaml-bls12-381";
|
||||
rev = "${version}-legacy";
|
||||
rev = "${finalAttrs.version}-legacy";
|
||||
sha256 = "qocIfQdv9rniOUykRulu2zWsqkzT0OrsGczgVKALRuk=";
|
||||
};
|
||||
|
||||
@@ -34,4 +34,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.ulrikstrid ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -13,12 +13,12 @@
|
||||
rresult,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
pname = "ocaml${ocaml.version}-bos";
|
||||
version = "0.2.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://erratique.ch/software/bos/releases/bos-${version}.tbz";
|
||||
url = "https://erratique.ch/software/bos/releases/bos-${finalAttrs.version}.tbz";
|
||||
sha256 = "sha256-2NYueGsQ1pfgRXIFqO7eqifrzJDxhV8Y3xkMrC49jzc=";
|
||||
};
|
||||
|
||||
@@ -48,4 +48,4 @@ stdenv.mkDerivation rec {
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
inherit (ocaml.meta) platforms;
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -10,11 +10,11 @@
|
||||
js_of_ocaml-toplevel,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
stdenv.mkDerivation (finalAttrs: {
|
||||
pname = "ocaml${ocaml.version}-brr";
|
||||
version = "0.0.8";
|
||||
src = fetchurl {
|
||||
url = "https://erratique.ch/software/brr/releases/brr-${version}.tbz";
|
||||
url = "https://erratique.ch/software/brr/releases/brr-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-g4ROHy9rHlaEFi5+euyRuEKK5HwKJWPmFkdvFhdIYgg=";
|
||||
};
|
||||
buildInputs = [
|
||||
@@ -36,4 +36,4 @@ stdenv.mkDerivation rec {
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
inherit (ocaml.meta) platforms;
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -4,14 +4,14 @@
|
||||
lib,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bstr";
|
||||
version = "0.0.2";
|
||||
|
||||
minimalOCamlVersion = "4.13";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/robur-coop/bstr/releases/download/v${version}/bstr-${version}.tbz";
|
||||
url = "https://github.com/robur-coop/bstr/releases/download/v${finalAttrs.version}/bstr-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-/zvzCBzT014OesTmxGBDB98ZRU++YNDLUZ8uaDK3keM=";
|
||||
};
|
||||
|
||||
@@ -21,4 +21,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
qcheck-core,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bwd";
|
||||
version = "2.3.0";
|
||||
|
||||
@@ -15,7 +15,7 @@ buildDunePackage rec {
|
||||
src = fetchFromGitHub {
|
||||
owner = "RedPRL";
|
||||
repo = "ocaml-bwd";
|
||||
rev = version;
|
||||
rev = finalAttrs.version;
|
||||
hash = "sha256-rzn0U/D6kPNsH5hBTElc3d1jfKbgKbjA2JHicpaJtu4=";
|
||||
};
|
||||
|
||||
@@ -25,8 +25,8 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
description = "Backward Lists";
|
||||
homepage = "https://github.com/RedPRL/ocaml-bwd";
|
||||
changelog = "https://github.com/RedPRL/ocaml-bwd/blob/${version}/CHANGELOG.markdown";
|
||||
changelog = "https://github.com/RedPRL/ocaml-bwd/blob/${finalAttrs.version}/CHANGELOG.markdown";
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -10,14 +10,14 @@
|
||||
qcheck,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "bytestring";
|
||||
version = "0.0.8";
|
||||
|
||||
minimalOCamlVersion = "5.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/riot-ml/riot/releases/download/${version}/riot-${version}.tbz";
|
||||
url = "https://github.com/riot-ml/riot/releases/download/${finalAttrs.version}/riot-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-SsiDz53b9bMIT9Q3IwDdB3WKy98WSd9fiieU41qZpeE=";
|
||||
};
|
||||
|
||||
@@ -42,4 +42,4 @@ buildDunePackage rec {
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -12,14 +12,14 @@
|
||||
alcotest,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "ca-certs-nss";
|
||||
version = "3.118";
|
||||
|
||||
minimalOCamlVersion = "4.13";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/ca-certs-nss/releases/download/v${version}/ca-certs-nss-${version}.tbz";
|
||||
url = "https://github.com/mirage/ca-certs-nss/releases/download/v${finalAttrs.version}/ca-certs-nss-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-BthKUUeuf3jFRmQzw0U9SEbvRqcVc1UKHmb4+YePRio=";
|
||||
};
|
||||
|
||||
@@ -46,4 +46,4 @@ buildDunePackage rec {
|
||||
maintainers = [ lib.maintainers.sternenseemann ];
|
||||
mainProgram = "extract-from-certdata";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -7,13 +7,13 @@
|
||||
re,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "coin";
|
||||
version = "0.1.4";
|
||||
minimalOCamlVersion = "4.03";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/coin/releases/download/v${version}/coin-${version}.tbz";
|
||||
url = "https://github.com/mirage/coin/releases/download/v${finalAttrs.version}/coin-${finalAttrs.version}.tbz";
|
||||
sha256 = "sha256:0069qqswd1ik5ay3d5q1v1pz0ql31kblfsnv0ax0z8jwvacp3ack";
|
||||
};
|
||||
|
||||
@@ -34,4 +34,4 @@ buildDunePackage rec {
|
||||
maintainers = [ ];
|
||||
mainProgram = "coin.generate";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,14 +6,14 @@
|
||||
menhir,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "FrontC";
|
||||
version = "4.1.0";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "BinaryAnalysisPlatform";
|
||||
repo = "FrontC";
|
||||
rev = "v${version}";
|
||||
rev = "v${finalAttrs.version}";
|
||||
sha256 = "1mi1vh4qgscnb470qwidccaqd068j1bqlz6pf6wddk21paliwnqb";
|
||||
};
|
||||
|
||||
@@ -22,10 +22,10 @@ buildDunePackage rec {
|
||||
nativeBuildInputs = [ menhir ];
|
||||
|
||||
meta = {
|
||||
inherit (src.meta) homepage;
|
||||
inherit (finalAttrs.src.meta) homepage;
|
||||
inherit (ocaml.meta) platforms;
|
||||
description = "C Parsing Library";
|
||||
license = lib.licenses.lgpl21;
|
||||
maintainers = [ lib.maintainers.maurer ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -10,14 +10,14 @@
|
||||
ocaml-freestanding,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
minimalOCamlVersion = "4.13";
|
||||
|
||||
pname = "mirage-crypto";
|
||||
version = "2.0.2";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/mirage/mirage-crypto/releases/download/v${version}/mirage-crypto-${version}.tbz";
|
||||
url = "https://github.com/mirage/mirage-crypto/releases/download/v${finalAttrs.version}/mirage-crypto-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-c5qdOfNAJ/vJNVf4fFysQZClK92t/3LyEvqoA9YhWHQ=";
|
||||
};
|
||||
|
||||
@@ -38,7 +38,7 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
homepage = "https://github.com/mirage/mirage-crypto";
|
||||
description = "Simple symmetric cryptography for the modern age";
|
||||
changelog = "https://raw.githubusercontent.com/mirage/mirage-crypto/refs/tags/v${version}/CHANGES.md";
|
||||
changelog = "https://raw.githubusercontent.com/mirage/mirage-crypto/refs/tags/v${finalAttrs.version}/CHANGES.md";
|
||||
license = with lib.licenses; [
|
||||
isc # default license
|
||||
bsd2 # mirage-crypto-rng-mirage
|
||||
@@ -49,4 +49,4 @@ buildDunePackage rec {
|
||||
momeemt
|
||||
];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -14,7 +14,7 @@
|
||||
uri,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "mirage";
|
||||
inherit (mirage-runtime) version src;
|
||||
|
||||
@@ -43,11 +43,11 @@ buildDunePackage rec {
|
||||
|
||||
installPhase = ''
|
||||
runHook preInstall
|
||||
dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ ${pname}
|
||||
dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ mirage
|
||||
runHook postInstall
|
||||
'';
|
||||
|
||||
meta = mirage-runtime.meta // {
|
||||
description = "MirageOS library operating system";
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -8,14 +8,14 @@
|
||||
ppx_optcomp,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "poll";
|
||||
version = "0.3.1";
|
||||
|
||||
minimalOCamlVersion = "4.13";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/anuragsoni/poll/releases/download/${version}/poll-${version}.tbz";
|
||||
url = "https://github.com/anuragsoni/poll/releases/download/${finalAttrs.version}/poll-${finalAttrs.version}.tbz";
|
||||
hash = "sha256-IX6SivK/IMQaGgMgWiIsNgUSMHP6z1E/TSB0miaQ8pw=";
|
||||
};
|
||||
|
||||
@@ -37,8 +37,8 @@ buildDunePackage rec {
|
||||
meta = {
|
||||
description = "Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms";
|
||||
homepage = "https://github.com/anuragsoni/poll";
|
||||
changelog = "https://github.com/anuragsoni/poll/blob/${version}/CHANGES.md";
|
||||
changelog = "https://github.com/anuragsoni/poll/blob/${finalAttrs.version}/CHANGES.md";
|
||||
license = lib.licenses.mit;
|
||||
maintainers = with lib.maintainers; [ sixstring982 ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
@@ -6,7 +6,7 @@
|
||||
stdlib-shims,
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "spelll";
|
||||
version = "0.4";
|
||||
|
||||
@@ -14,8 +14,8 @@ buildDunePackage rec {
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "c-cube";
|
||||
repo = pname;
|
||||
rev = "v${version}";
|
||||
repo = "spelll";
|
||||
rev = "v${finalAttrs.version}";
|
||||
hash = "sha256-nI8fdArYynR70PUJIgyogGBCe4gFhfVzuRdZzFGKqOc=";
|
||||
};
|
||||
|
||||
@@ -25,9 +25,9 @@ buildDunePackage rec {
|
||||
];
|
||||
|
||||
meta = {
|
||||
inherit (src.meta) homepage;
|
||||
inherit (finalAttrs.src.meta) homepage;
|
||||
description = "Fuzzy string searching, using Levenshtein automaton";
|
||||
license = lib.licenses.bsd2;
|
||||
maintainers = [ lib.maintainers.vbgl ];
|
||||
};
|
||||
}
|
||||
})
|
||||
|
||||
Reference in New Issue
Block a user