Artifact | libpsmt2-frontend-ocaml_0.4.0-1+b1_amd64 |
---|---|
Category | debian:binary-package |
architecture: amd64
component: main
package: libpsmt2-frontend-ocaml
priority: optional
section: ocaml
srcpkg_name: psmt2-frontend
srcpkg_version: 0.4.0-1
version: 0.4.0-1+b1