Artifact | coq-dpdgraph-tools_1.0+8.16-2+b1_amd64 |
---|---|
Category | debian:binary-package |
architecture: amd64
component: main
package: coq-dpdgraph-tools
priority: optional
section: ocaml
srcpkg_name: coq-dpdgraph
srcpkg_version: 1.0+8.16-2
version: 1.0+8.16-2+b1