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-html	9.2.0-1	optional	25 kB	documentation for Coq in html format
non-free	all	coq-doc-html	8.20.0-2	optional	22.3 kB	documentation for Coq in html format

Showing 1–2 of 2 packages

Page 1 of 1