coq-hierarchy-builder_1.4.0-2+b6_amd64

Details

Artifact coq-hierarchy-builder_1.4.0-2+b6_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: coq-hierarchy-builder
priority: optional
section: ocaml
srcpkg_name: coq-hierarchy-builder
srcpkg_version: 1.4.0-2
version: 1.4.0-2+b6
bookworm System _system 6 months, 2 weeks ago
BETA