Package search

Search: Filter: [help]

Refine search
Role
  • Development Library (4)
  • Documentation (3)
Software Development
  • Documentation (3)
  • Libraries (4)

8 results for coq:

1: 42%
2: 29%
3: 28%
4: 25%
5: 19%
6: 18%
7: 17%
8: 16%

Copyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.

Debtags is part of Debian.

Powered by Xapian and apt-xapian-index.