Artifact | libcoq-hierarchy-builder_1.7.0-2+b8_arm64 |
---|---|
Category | debian:binary-package |
architecture: arm64
component: main
package: libcoq-hierarchy-builder
priority: optional
section: ocaml
srcpkg_name: coq-hierarchy-builder
srcpkg_version: 1.7.0-2
version: 1.7.0-2+b8