Package search

Search: Filter: [help]

Did you mean b'co'?

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

8 results for coq:

1: 42%
2: 30%
3: 30%
4: 27%
5: 20%
6: 19%
7: 18%
8: 17%

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.