cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

missing bump

Browse Source
This commit is contained in:
jasper 2011-07-05 09:13:36 +00:00
parent 2feaa166fe
commit bc895bff08
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/prover9/ladr/Makefile
View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.3 2011/06/29 18:11:25 jasper Exp $
# $OpenBSD: Makefile,v 1.4 2011/07/05 09:13:36 jasper Exp $
COMMENT= Library for Automated Deduction Research
DISTNAME= LADR-Dec-2007
PKGNAME= ${DISTNAME:L:S/-Dec//}
REVISION = 0
REVISION = 1
MASTER_SITES= ${HOMEPAGE}/download/

4
math/prover9/p9m4/Makefile
View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.3 2011/06/29 18:11:25 jasper Exp $
# $OpenBSD: Makefile,v 1.4 2011/07/05 09:13:36 jasper Exp $
COMMENT= prover9/mace4 GUI
DISTNAME= p9m4-v05
PKGNAME= ${DISTNAME:S/v//}
REVISION = 0
REVISION = 1
MASTER_SITES= ${HOMEPAGE}/gui/