coq-doc_8.16.1-1

Details

Artifact coq-doc_8.16.1-1
Category debian:source-package
Metadata
component: non-free
package: coq-doc
section: non-free/doc
version: 8.16.1-1
bookworm… System… _system 5 months, 3 weeks ago
BETA