diff options
author | Ashish SHUKLA <ashish@FreeBSD.org> | 2017-09-12 15:38:56 +0000 |
---|---|---|
committer | Ashish SHUKLA <ashish@FreeBSD.org> | 2017-09-12 15:38:56 +0000 |
commit | 53aec0cd56136f008dd85bad1dd9e88cc8ca4c68 (patch) | |
tree | cf312471e7a193f3509a4153aa6dd314a9e2d221 /math/coq | |
parent | - Update Emacs to 25.3 (diff) |
Chase Emacs update
Notes
Notes:
svn path=/head/; revision=449697
Diffstat (limited to 'math/coq')
-rw-r--r-- | math/coq/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 58260aa16ec3..06cc1f061877 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -2,6 +2,7 @@ PORTNAME= coq PORTVERSION= 8.6 +PORTREVISION= 1 PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ |