coq_8.16.1+dfsg-1

Details

Artifact coq_8.16.1+dfsg-1
Category debian:source-package
Metadata
component: main
package: coq
section: math
version: 8.16.1+dfsg-1
bookworm… System… _system 6 months, 1 week ago
BETA