proofgeneral_4.5-2

Details

Artifact proofgeneral_4.5-2
Category debian:source-package
Metadata
component: main
package: proofgeneral
section: editors
version: 4.5-2
sid System _system 1 month, 4 weeks ago
BETA