Search Packages

Distribution

Codename

Component

Architecture

Package name

Version

Source package

Distribution	Codename	Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
debian	12/bookworm	non-free	all	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	amd64	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	arm64	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	armel	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	armhf	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	i386	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	mips64el	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	mipsel	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	ppc64el	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format
debian	12/bookworm	non-free	s390x	coq-doc-pdf	8.16.1-1	optional	4.2 kB	documentation for Coq in pdf format

Showing 1–10 of 10 packages

Page 1 of 1