coq-doc_8.19.1-2

Details

Artifact coq-doc_8.19.1-2
Category debian:source-package
Metadata
component: non-free
package: coq-doc
section: non-free/doc
version: 8.19.1-2
trixie… System… _system 4 months ago
BETA