Scrub Obsolete - coq-float
Building the package failed after changes were made to it.
Run locally
More details
Historical runs
- build-failed-stage-build: Error: No such goal.
- build-failed-stage-build: Error: No such goal.
- 502-bad-gateway: Unexpected HTTP status 502 for https://salsa.debian.org/ocaml-team/coq-float.git/info/refs?service=git-upload-pack: Unable to handle http code: Bad Gateway
- build-failed-stage-explain-bd-uninstallable: build failed stage explain-bd-uninstallable