ocamlPackages.smtml: 0.15.0 -> 0.17.0

This commit is contained in:
redianthus
2025-12-22 15:43:32 +01:00
parent dcbe210658
commit c949ccb8be
@@ -16,7 +16,6 @@
mtime,
# fix eval on legacy ocaml versions
ocaml_intrinsics ? null,
patricia-tree,
prelude,
scfg,
yojson,
@@ -28,13 +27,13 @@
buildDunePackage (finalAttrs: {
pname = "smtml";
version = "0.15.0";
version = "0.17.0";
src = fetchFromGitHub {
owner = "formalsec";
repo = "smtml";
tag = "v${finalAttrs.version}";
hash = "sha256-z3DDdzU39tg2F3+pAFPILiKY3pQxOpehdoxwckyhZBI=";
hash = "sha256-IFjaZcwBiM/xA39W+FuJ87OSEvAhvhEsZ1cF2KrxrhY=";
};
nativeBuildInputs = [
@@ -52,7 +51,6 @@ buildDunePackage (finalAttrs: {
menhirLib
mtime
ocaml_intrinsics
patricia-tree
prelude
scfg
yojson
@@ -82,6 +80,9 @@ buildDunePackage (finalAttrs: {
downloadPage = "https://github.com/formalsec/smtml";
changelog = "https://github.com/formalsec/smtml/releases/tag/v${finalAttrs.version}";
license = lib.licenses.mit;
maintainers = [ lib.maintainers.ethancedwards8 ];
maintainers = with lib.maintainers; [
ethancedwards8
redianthus
];
};
})