Changeset View
Changeset View
Standalone View
Standalone View
lang/twelf/Makefile
# Created by: andrewb@cs.cmu.edu | # Created by: andrewb@cs.cmu.edu | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= twelf | PORTNAME= twelf | ||||
PORTVERSION= 1.7.1 | PORTVERSION= 1.7.1 | ||||
PORTREVISION= 1 | PORTREVISION= 2 | ||||
DISTVERSIONPREFIX= src- | DISTVERSIONPREFIX= src- | ||||
CATEGORIES= lang math | CATEGORIES= lang math | ||||
MASTER_SITES= http://twelf.plparty.org/releases/ \ | MASTER_SITES= http://twelf.plparty.org/releases/ \ | ||||
http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/ | http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/ | ||||
MAINTAINER= beyert@cs.ucr.edu | MAINTAINER= beyert@cs.ucr.edu | ||||
COMMENT= Meta-logical framework for deductive systems | COMMENT= Meta-logical framework for deductive systems | ||||
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines |