Report created on Wed May 22 00:49:59 2013. 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

SVNweb page lang/twelf
FreshPorts page lang/twelf
categories lang
description A meta-logical framework for deductive systems
package name twelf-1.5R1_5
URL http://www.cs.cmu.edu/~twelf
maintainer andrewb@cs.cmu.edu
RESTRICTED yes
Distfile Survey page lang/twelf

Active Problem Reports

None.

Build And Package Status

None.
top