diff options
| author | Tijl Coosemans <tijl@FreeBSD.org> | 2014-07-05 12:19:32 +0000 |
|---|---|---|
| committer | Tijl Coosemans <tijl@FreeBSD.org> | 2014-07-05 12:19:32 +0000 |
| commit | ec94e4d5eb205b565ad234a64ae8f928f0acf831 (patch) | |
| tree | e09d23ad5e04ca8eb7fcec9901ed6229bfea3705 /math/why3-gpl | |
| parent | 034efe6bc8b62e0c79af9d730572475c84f94f70 (diff) | |
| download | ports-ec94e4d5eb205b565ad234a64ae8f928f0acf831.tar.gz ports-ec94e4d5eb205b565ad234a64ae8f928f0acf831.zip | |
Notes
Diffstat (limited to 'math/why3-gpl')
| -rw-r--r-- | math/why3-gpl/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/why3-gpl/Makefile b/math/why3-gpl/Makefile index 0963b89dff79..6e27f7822b41 100644 --- a/math/why3-gpl/Makefile +++ b/math/why3-gpl/Makefile @@ -3,6 +3,7 @@ PORTNAME= why3 PORTVERSION= 2014 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://downloads.dragonlace.net/src/ \ LOCAL/marino |