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 | |
| parent | 8c2c9de67daba570f8c558b38675418fb29a7574 (diff) | |
| download | ports-5f8bb4c4ae00ba735ee3d464b4f5454175c9f0eb.tar.gz ports-5f8bb4c4ae00ba735ee3d464b4f5454175c9f0eb.zip | |
Notes
Diffstat (limited to 'math')
| -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 |