proofgeneral_4.4.1~pre170114-1.2

Details

Artifact	proofgeneral_4.4.1~pre170114-1.2
Category	debian:source-package

Metadata

component: main
package: proofgeneral
section: editors
version: 4.4.1~pre170114-1.2