debile

Package list

Search results for source package 'coq'
Source Group
Suite
Uploader Status
coq/​8.5-2b1 default
staging
Debian Archive Kit
coq-doc/​8.4pl4-2 default
staging
Debian Archive Kit
coq-float/​1:8.4-5b1 default
staging
Debian Archive Kit
coquelicot/​0.9.5-1 default
staging
Debian Archive Kit

Sitemap

Debian links