remove dev from Coq dependency

2 jobs for master in 10 minutes and 26 seconds (queued for 3 seconds)
Name Stage Failure
failed Build
sexplib0                 v0.14.0     Library containing the definition of S-expressions and some base converters
sha 1.13 Binding to the SHA cryptographic functions
stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler
toml 5.0.0 TOML parser.
yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format
z3 4.8.4 Z3 solver
zarith 1.10 Implements arithmetic and logical operations over arbitrary-precision integers
'opam upgrade builddep/ coq cerberus' failed
ERROR: Job failed: exit code 1