zarith is now virtual

for mirage/mirage#969
dune-universe · Feb 13, 2019 · e5fa1e7 · e5fa1e7
1 parent 44940b9
commit e5fa1e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune b/src/dune
@@ -1,5 +1,5 @@
 (library
   (name asn1_combinators)
   (public_name asn1-combinators)
-  (libraries cstruct zarith ptime)
+  (libraries cstruct zarith-virtual ptime)
   (wrapped false))