owi: 0.2-unstable-2025-12-13 -> 0.2-unstable-2025-12-22
This commit is contained in:
@@ -11,18 +11,18 @@
|
||||
}:
|
||||
|
||||
let
|
||||
ocamlPackages = ocaml-ng.ocamlPackages_5_2;
|
||||
ocamlPackages = ocaml-ng.ocamlPackages_5_3;
|
||||
in
|
||||
ocamlPackages.buildDunePackage {
|
||||
pname = "owi";
|
||||
version = "0.2-unstable-2025-12-13";
|
||||
version = "0.2-unstable-2025-12-22";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ocamlpro";
|
||||
repo = "owi";
|
||||
rev = "0ce0a3136bfeaca01bbf9c596d79c093282cff3f";
|
||||
rev = "014840cd9d87c912577822b171407bf7453373f0";
|
||||
fetchSubmodules = true;
|
||||
hash = "sha256-2WrUbrwi3dSXf/eEdZCK1SnYzo52aJeTfqtN65bjW60=";
|
||||
hash = "sha256-Mjd2XyPmAsonCcV98L8p9S0yYlJV8OEg2TPjZhzVBj8=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = with ocamlPackages; [
|
||||
@@ -42,15 +42,11 @@ ocamlPackages.buildDunePackage {
|
||||
bos
|
||||
cmdliner
|
||||
digestif
|
||||
dolmen_type
|
||||
dune-build-info
|
||||
dune-site
|
||||
hc
|
||||
integers
|
||||
menhirLib
|
||||
ocaml_intrinsics
|
||||
ocamlgraph
|
||||
patricia-tree
|
||||
prelude
|
||||
processor
|
||||
scfg
|
||||
@@ -61,7 +57,6 @@ ocamlPackages.buildDunePackage {
|
||||
xmlm
|
||||
yojson
|
||||
z3
|
||||
zarith
|
||||
];
|
||||
|
||||
postInstall = ''
|
||||
@@ -88,7 +83,10 @@ ocamlPackages.buildDunePackage {
|
||||
homepage = "https://ocamlpro.github.io/owi/";
|
||||
downloadPage = "https://github.com/OCamlPro/owi";
|
||||
license = lib.licenses.agpl3Plus;
|
||||
maintainers = [ lib.maintainers.ethancedwards8 ];
|
||||
maintainers = with lib.maintainers; [
|
||||
ethancedwards8
|
||||
redianthus
|
||||
];
|
||||
teams = with lib.teams; [ ngi ];
|
||||
mainProgram = "owi";
|
||||
badPlatforms = lib.platforms.darwin;
|
||||
|
||||
Reference in New Issue
Block a user