Add the zarith package

monadius · monadius · commit d8baf27ff9d0 · 2023-04-05T13:16:01.000-06:00
diff --git a/DockerOcamlbuild b/DockerOcamlbuild
@@ -12,8 +12,10 @@ RUN set -ex; \
 
 # Additional packages
 RUN set -ex; \
+    opam depext 'zarith=1.12'; \
     opam install -y \
     'domainslib=0.5.0' \
+    'zarith=1.12' \
     ;
 
 USER opam
diff --git a/workspace/_tags b/workspace/_tags
@@ -1,2 +1,2 @@
 <cwtest.ml> or <cwtest.native> or <tests.ml>: package(ounit2)
-not <cwtest.ml>: package(batteries), package(base), package(domainslib)
+not <cwtest.ml>: package(batteries), package(base), package(domainslib), package(zarith)

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`<cwtest.ml> or <cwtest.native> or <tests.ml>: package(ounit2)`
`2`		`-not <cwtest.ml>: package(batteries), package(base), package(domainslib)`
	`2`	`+not <cwtest.ml>: package(batteries), package(base), package(domainslib), package(zarith)`