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