gen_proc proven - deprecations remaining

5 jobs for master
Status Name Job ID Coverage
  Build
canceled build-coq.8.6.1 #14449
fp-timing

canceled build-coq.8.7.0 #14448
fp-timing

 
  Deploy
canceled opam #14450

canceled reverse-deps #14451

 
  Build More
canceled build-coq.8.7.dev #14452
fp-timing