architecture: amd64 component: main package: libcoq-libhyps priority: optional section: ocaml srcpkg_name: coq-libhyps srcpkg_version: 2.0.6-2 version: 2.0.6-2+b1