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

add forgotten REVISION bump

Browse Source
This commit is contained in:
phessler 2023-01-18 21:24:29 +00:00
parent 2768de4793
commit d500cdf9a0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/coq/Makefile
View File

@ -4,7 +4,7 @@ V= 8.13.2
GH_ACCOUNT = coq
GH_PROJECT = coq
GH_TAGNAME = V${V}
REVISION = 2
REVISION = 3
CATEGORIES= math
HOMEPAGE= https://coq.inria.fr/