Commit 0d999f92 authored by Armaël Guéneau's avatar Armaël Guéneau

opam file: add base-bytes as an explicit dependency

parent 9e933a8f
......@@ -14,6 +14,7 @@ remove: [make "uninstall"]
depends: [
"ocamlbuild" {build}
"pprint"
"base-bytes"
"coq" {>= "8.6"}
"coq-tlc" {>= "20171206"}
]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment