Version 5.0.0-2 of coq-libhyps is marked for autoremoval from testing on Sun 11 Oct 2026. It depends (transitively) on docker.io, golang-github-aws-aws-sdk-go, golang-github-azure-azure-sdk-for-go, golang-github-azure-go-autorest, golang-github-containerd-stargz-snapshotter, golang-github-frankban-quicktest, golang-github-go-git-go-git, golang-github-go-logr-logr, golang-github-go-quicktest-qt, golang-github-google-go-github, golang-github-googleapis-gax-go, golang-github-gorilla-handlers, golang-github-json-iterator-go, golang-github-klauspost-compress, golang-github-peterbourgon-diskv, golang-github-prometheus-client-golang, golang-k8s-apimachinery, golang-k8s-kube-openapi, golang-k8s-sigs-json, golang-k8s-sigs-yaml, golang-pgregory-rapid, affected by #1146000, #1146178, #1146183, #1146184, #1146185, #1146189, #1146192, #1146194, #1146195, #1146197, #1146199, #1146200, #1146201, #1146202, #1146203, #1146207, #1146219, #1146220, #1146221, #1146222, #1146223. You should try to prevent the removal by fixing these RC bugs.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-libhyps.png){kind=link}