coq-libhyps_5.0.0-2.debian.tar.xz
coq-libhyps_5.0.0-2.dsc
coq-libhyps_5.0.0.orig.tar.gz
libcoq-libhyps_5.0.0-2+b2_amd64.deb