Package search

Refine search

Role

Documentation (3)
Source Code (2)

5 results for hol88:

1: 28%	Source: hol88 [more info] [tag editor] [PTS] debian/control hol88-source - Higher Order Logic, source files
2: 28%	Source: hol88 [more info] [tag editor] [PTS] debian/control hol88-doc - Documentation for hol88
3: 27%	Source: hol88 [more info] [tag editor] [PTS] debian/control hol88-library-source - Higher Order Logic, library source files
4: 22%	Source: hol88 [more info] [tag editor] [PTS] debian/control hol88-help - Higher Order Logic, online help files
5: 21%	Source: hol88 [more info] [tag editor] [PTS] debian/control hol88-library-help - Higher Order Logic, library online help files

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.