delete Coq code; it moved to lambda-rust

1 job for master in 2 minutes and 32 seconds (queued for 2 seconds)
Name Stage Failure
failed
build-coq.8.11.2 Build
       Run `opam repository add coq-released --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

[iris-dev] Initialised
[NOTE] Repository iris-dev has been added to the selections of switch ocaml-base-compiler.4.08.1 only.
Run `opam repository add iris-dev --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.


make: *** No rule to make target 'builddep-opamfiles'. Stop.
ERROR: Job failed: exit code 1