ocamlPackages.smtml: 0.26.0 -> 0.27.0 (#520431)
This commit is contained in:
@@ -21,7 +21,6 @@
|
||||
ocaml_intrinsics ? null,
|
||||
prelude,
|
||||
ppx_enumerate,
|
||||
rresult,
|
||||
scfg,
|
||||
yojson,
|
||||
z3,
|
||||
@@ -32,13 +31,13 @@
|
||||
|
||||
buildDunePackage (finalAttrs: {
|
||||
pname = "smtml";
|
||||
version = "0.26.0";
|
||||
version = "0.27.0";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "formalsec";
|
||||
repo = "smtml";
|
||||
tag = "v${finalAttrs.version}";
|
||||
hash = "sha256-7kshzfxWpOx2LyGOs/j/eaTB4b4ba4sp5n4yztGfFV4=";
|
||||
hash = "sha256-YyzrPs6ykpUzHHZ63y3c82LG9lv0Pf4i01w5GWadumU=";
|
||||
};
|
||||
|
||||
minimalOCamlVersion = "4.14";
|
||||
@@ -68,7 +67,6 @@ buildDunePackage (finalAttrs: {
|
||||
ocaml_intrinsics
|
||||
ppx_enumerate
|
||||
prelude
|
||||
rresult
|
||||
scfg
|
||||
yojson
|
||||
z3
|
||||
|
||||
Reference in New Issue
Block a user