coq-bignums_9.0.0+coq8.20-1

Details

Artifact coq-bignums_9.0.0+coq8.20-1
Category debian:source-package
Metadata
component: main
package: coq-bignums
section: misc
version: 9.0.0+coq8.20-1
sid System _system 4 months ago
BETA