| Artifact | proofgeneral-doc_4.4.1~pre170114-1.2_all |
|---|---|
| Category | debian:binary-package |
architecture: all
component: main
package: proofgeneral-doc
priority: optional
section: doc
srcpkg_name: proofgeneral
srcpkg_version: 4.4.1~pre170114-1.2
version: 4.4.1~pre170114-1.2