Search Packages

Distribution

Codename

Component

Architecture

Package name

Version

Source package

Distribution	Codename	Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
debian	13/trixie	non-free	all	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	amd64	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	arm64	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	armel	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	armhf	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	i386	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	ppc64el	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	riscv64	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format
debian	13/trixie	non-free	s390x	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format

Showing 1–9 of 9 packages

Page 1 of 1