diff options
| author | bf <bf@FreeBSD.org> | 2013-03-19 00:11:34 +0800 |
|---|---|---|
| committer | bf <bf@FreeBSD.org> | 2013-03-19 00:11:34 +0800 |
| commit | 74aee769eea75ee43c7acf6fd4b9bbeaf5a03885 (patch) | |
| tree | 27078f5c1a452ebd5260b7fdd07ba6338a5ec0e1 /math/alt-ergo/Makefile | |
| parent | b6555f554444c86d85db16f38b728edeba89319a (diff) | |
| download | freebsd-ports-gnome-74aee769eea75ee43c7acf6fd4b9bbeaf5a03885.tar.gz freebsd-ports-gnome-74aee769eea75ee43c7acf6fd4b9bbeaf5a03885.tar.zst freebsd-ports-gnome-74aee769eea75ee43c7acf6fd4b9bbeaf5a03885.zip | |
update master sites; trim headers; reposition LICENSE, WWW
Diffstat (limited to 'math/alt-ergo/Makefile')
| -rw-r--r-- | math/alt-ergo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 8d55eaf0444a..80cf2d2f4059 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -5,7 +5,7 @@ PORTNAME= alt-ergo PORTVERSION= 0.94 PORTREVISION= 2 CATEGORIES= math -MASTER_SITES= http://alt-ergo.lri.fr/http/ LOCAL/bf +MASTER_SITES= http://alt-ergo.lri.fr/http/alt-ergo-${PORTVERSION}/ LOCAL/bf MAINTAINER= bf@FreeBSD.org COMMENT= An automatic theorem prover dedicated to program verification |