ocamlPackages.smtml: 0.13.0 -> 0.15.0, owi: 0.2-unstable-2025-10-09 -> 0.2-unstable-2025-11-25 (#464640)
This commit is contained in:
@@ -15,14 +15,14 @@ let
|
||||
in
|
||||
ocamlPackages.buildDunePackage {
|
||||
pname = "owi";
|
||||
version = "0.2-unstable-2025-10-09";
|
||||
version = "0.2-unstable-2025-11-25";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "ocamlpro";
|
||||
repo = "owi";
|
||||
rev = "8500bc99a5a88515a019b1dc0d736152ab7d1767";
|
||||
rev = "23fb234334310ae8b4ba3c4a2def6a9fed7508fd";
|
||||
fetchSubmodules = true;
|
||||
hash = "sha256-vskIVgtgUpjuJFzweDg6w2/ml31/6HQWMEjE08KibmM=";
|
||||
hash = "sha256-I74mjs4GozMlUr+ezt22J6+cs8GDcNZkPC42W0kvGnI=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = with ocamlPackages; [
|
||||
@@ -49,12 +49,14 @@ ocamlPackages.buildDunePackage {
|
||||
integers
|
||||
menhirLib
|
||||
ocaml_intrinsics
|
||||
ocamlgraph
|
||||
patricia-tree
|
||||
prelude
|
||||
processor
|
||||
scfg
|
||||
sedlex
|
||||
smtml
|
||||
synchronizer
|
||||
uutf
|
||||
xmlm
|
||||
yojson
|
||||
|
||||
@@ -9,6 +9,7 @@
|
||||
cmdliner,
|
||||
dolmen_model,
|
||||
dolmen_type,
|
||||
dune-build-info,
|
||||
fpath,
|
||||
hc,
|
||||
menhirLib,
|
||||
@@ -27,13 +28,13 @@
|
||||
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "smtml";
|
||||
version = "0.13.0";
|
||||
version = "0.15.0";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "formalsec";
|
||||
repo = "smtml";
|
||||
tag = "v${finalAttrs.version}";
|
||||
hash = "sha256-8AAS7C/X9YnkgZORRauKqPgXPyFXOhPvd7/VS693e8Q=";
|
||||
hash = "sha256-z3DDdzU39tg2F3+pAFPILiKY3pQxOpehdoxwckyhZBI=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
@@ -45,6 +46,7 @@ buildDunePackage (finalAttrs: {
|
||||
cmdliner
|
||||
dolmen_model
|
||||
dolmen_type
|
||||
dune-build-info
|
||||
fpath
|
||||
hc
|
||||
menhirLib
|
||||
|
||||
Reference in New Issue
Block a user