diff options
| author | pgj <pgj@FreeBSD.org> | 2012-06-04 06:09:57 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2012-06-04 06:09:57 +0800 |
| commit | eb5563ab1e7f10aeb53f33f4e6dc83cc1427e3d9 (patch) | |
| tree | 0c2aa9ef5f9d3c508535bdcc7d19f11581e0d60a /math/hs-Agda-executable | |
| parent | bdc413a4bc49267a73ba9f70c1ed7ccbc0407f6c (diff) | |
| download | freebsd-ports-gnome-eb5563ab1e7f10aeb53f33f4e6dc83cc1427e3d9.tar.gz freebsd-ports-gnome-eb5563ab1e7f10aeb53f33f4e6dc83cc1427e3d9.tar.zst freebsd-ports-gnome-eb5563ab1e7f10aeb53f33f4e6dc83cc1427e3d9.zip | |
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell
Diffstat (limited to 'math/hs-Agda-executable')
| -rw-r--r-- | math/hs-Agda-executable/Makefile | 2 | ||||
| -rw-r--r-- | math/hs-Agda-executable/distinfo | 4 | ||||
| -rw-r--r-- | math/hs-Agda-executable/pkg-descr | 6 |
3 files changed, 6 insertions, 6 deletions
diff --git a/math/hs-Agda-executable/Makefile b/math/hs-Agda-executable/Makefile index 00b4d90d41e7..2fd3a90c1d28 100644 --- a/math/hs-Agda-executable/Makefile +++ b/math/hs-Agda-executable/Makefile @@ -6,7 +6,7 @@ # PORTNAME= Agda-executable -PORTVERSION= 2.3.0 +PORTVERSION= 2.3.0.1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org diff --git a/math/hs-Agda-executable/distinfo b/math/hs-Agda-executable/distinfo index de1da2624e63..6adb590872cb 100644 --- a/math/hs-Agda-executable/distinfo +++ b/math/hs-Agda-executable/distinfo @@ -1,2 +1,2 @@ -SHA256 (cabal/Agda-executable-2.3.0.tar.gz) = b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 -SIZE (cabal/Agda-executable-2.3.0.tar.gz) = 1764 +SHA256 (cabal/Agda-executable-2.3.0.1.tar.gz) = 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 +SIZE (cabal/Agda-executable-2.3.0.1.tar.gz) = 1765 diff --git a/math/hs-Agda-executable/pkg-descr b/math/hs-Agda-executable/pkg-descr index 2d3f0c6925a1..489ce5aca373 100644 --- a/math/hs-Agda-executable/pkg-descr +++ b/math/hs-Agda-executable/pkg-descr @@ -1,5 +1,5 @@ -This package provides a command-line program for type-checking and -compiling Agda programs. The program can also generate hyperlinked, -highlighted HTML files from Agda sources. +This package provides a command-line program for type-checking and compiling +Agda programs. The program can also generate hyperlinked, highlighted HTML +files from Agda sources. WWW: http://wiki.portal.chalmers.se/agda/ |