Search in specific suite: [hardy] [hardy-updates] [hardy-backports] [lucid] [lucid-updates] [lucid-backports] [natty] [natty-updates] [natty-backports] [oneiric] [oneiric-updates] [oneiric-backports] [precise] [precise-updates] [precise-backports] [quantal]
Limit search to a specific architecture: [i386] [amd64] [powerpc] [armel]
You have searched for packages that names contain coqide in all suites, all sections, and all architectures. Found 1 matching packages.
Exact hits
Package coqide
- hardy (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.1.pl3+dfsg-1: amd64 i386 - lucid (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.2.pl1+dfsg-6: amd64 i386 - natty (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.2.pl2+dfsg-1ubuntu1: amd64 i386 - oneiric (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.3.pl2+dfsg-1build1: amd64 i386 - precise (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.3.pl4+dfsg-1: amd64 i386 - quantal (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.3.pl4+dfsg-1build1: amd64 i386