coq_8.19.1+dfsg-3

Details

Artifact coq_8.19.1+dfsg-3
Category debian:source-package
Metadata
component: main
package: coq
section: math
version: 8.19.1+dfsg-3
sid… System… _system 2 months ago
BETA