Debusine
Workspaces
Work requests
Workers
Task status
System
View
Collections
bookworm
View
Search
Log in
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