Report created on Thu Jul 29 19:43:24 2010. back to main menu

Enter a category and portname to get information about a FreeBSD port:
(although partial match is OK, for more than 1 or 2 ports the report will become unwieldy)

Category:  Portname: 
Category/portname matching: exact  wildcard

Overall Status

CVSweb page math/proofgeneral
FreshPorts page math/proofgeneral
categories math elisp
description A generic interface for proof assistants
package name proofgeneral-xemacs-3.7.1_3
URL http://proofgeneral.inf.ed.ac.uk
maintainer beyert@cs.ucr.edu
Distfile Survey page math/proofgeneral

Active Problem Reports

None.

Build Status

None.
top