Packages of Debian / sid

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
non-free	all	coq-doc-pdf	9.2.0-1	optional	5.6 kB	documentation for Coq in pdf format
non-free	all	coq-doc-pdf	8.20.0-2	optional	5 kB	documentation for Coq in pdf format

Showing 1–2 of 2 packages

Page 1 of 1