Unverified Commit 3e1aa157 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Fix the ott version to be at most 0.30

Version 0.31 breaks our fragile usage of Ott.
parent ded09fd9
Pipeline #162510101 passed with stage
in 16 minutes and 30 seconds
......@@ -15,7 +15,7 @@ build: [
install: [ make "install" ]
depends: [
"dune"
"ott"
"ott" {< "0.31"}
"menhir"
"coq" {>= "8.8.2"}
"coq-ott"
......
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