Search Packages

Distribution

Codename

Component

Architecture

Package name

Version

Source package

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

Showing 1–18 of 18 packages

Page 1 of 1