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
bookworm System _system 6 months, 1 week ago
BETA