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

actually define V, so that we have a valid master site path

Browse Source
This commit is contained in:
naddy 2013-02-07 12:16:08 +00:00
parent 0039808155
commit 347a5578b4
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
math/coq/Makefile
View File

@ -1,8 +1,9 @@
# $OpenBSD: Makefile,v 1.19 2013/02/07 09:43:15 chrisz Exp $
# $OpenBSD: Makefile,v 1.20 2013/02/07 12:16:08 naddy Exp $
COMMENT= proof assistant based on a typed lambda calculus
DISTNAME= coq-8.4pl1
V= 8.4pl1
DISTNAME= coq-$V
CATEGORIES= math
HOMEPAGE= http://coq.inria.fr/