rtyler
/
pkgsrc-wip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update HOMEPAGE and MASTER_SITES, but the distfile doesn't fetch for me. 

0.99.1 update is available.
This commit is contained in:
Thomas Klausner 2015-07-10 12:37:44 +00:00
parent 285c09b00a
commit 8d720c6de3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
alt-ergo/Makefile
View File

@ -1,11 +1,11 @@
# $NetBSD: Makefile,v 1.4 2015/07/10 09:49:26 thomasklausner Exp $
# $NetBSD: Makefile,v 1.5 2015/07/10 12:37:44 thomasklausner Exp $
DISTNAME= alt-ergo-0.93
CATEGORIES= devel
MASTER_SITES= http://ergo.lri.fr/http/
MASTER_SITES= -http://alt-ergo.ocamlpro.com/download_manager.php?target=${DISTNAME}${EXTRACT_SUFX}
MAINTAINER= MarkoSchuetz@web.de
HOMEPAGE= http://ergo.lri.fr/http/
HOMEPAGE= http://ergo.lri.fr/
COMMENT= Automatic theorem prover for program verification
USE_TOOLS+= gmake