diff options
Diffstat (limited to 'math/hs-Agda-executable/Makefile')
| -rw-r--r-- | math/hs-Agda-executable/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/math/hs-Agda-executable/Makefile b/math/hs-Agda-executable/Makefile index b528cb5daf6b..7d28ef0dbba0 100644 --- a/math/hs-Agda-executable/Makefile +++ b/math/hs-Agda-executable/Makefile @@ -1,13 +1,9 @@ -# New ports collection makefile for: hs-Agda-executable -# Date created: December 20 2009 -# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> -# +# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> # $FreeBSD$ -# PORTNAME= Agda-executable PORTVERSION= 2.3.0.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org |