diff options
| author | Volker Stolz <vs@FreeBSD.org> | 2005-12-05 09:49:23 +0000 |
|---|---|---|
| committer | Volker Stolz <vs@FreeBSD.org> | 2005-12-05 09:49:23 +0000 |
| commit | 5f8bb4c4ae00ba735ee3d464b4f5454175c9f0eb (patch) | |
| tree | 0660ef3e963b7cd81a76da111d7b899f5ee0bba9 /math/coq | |
| parent | - re-populate distinfo. It was empty. (diff) | |
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the cluster
Suggested by: kris
Notes
Notes:
svn path=/head/; revision=150452
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 096ba4d72524..56ce16dad424 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -7,6 +7,7 @@ PORTNAME= coq PORTVERSION= 8.0p2 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ DISTNAME= coq-8.0pl2 |