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, 3 weeks ago
BETA