diff options
| author | pgj <pgj@FreeBSD.org> | 2013-03-31 21:43:10 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2013-03-31 21:43:10 +0800 |
| commit | 08a74aeb97d872029fd01d2ccedc534a3eec4181 (patch) | |
| tree | 706535a9ca9e2f059790de4fce1e4edf8c756239 /math/hs-Agda | |
| parent | 6b756ea445d5bb32725589d2878cb7b5bc3ad4f6 (diff) | |
| download | freebsd-ports-gnome-08a74aeb97d872029fd01d2ccedc534a3eec4181.tar.gz freebsd-ports-gnome-08a74aeb97d872029fd01d2ccedc534a3eec4181.tar.zst freebsd-ports-gnome-08a74aeb97d872029fd01d2ccedc534a3eec4181.zip | |
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
- Add an UPDATING entry for description and instructions
Submitted by: ashish
Approved by: portmgr (miwi)
Obtained from: FreeBSD Haskell
Diffstat (limited to 'math/hs-Agda')
| -rw-r--r-- | math/hs-Agda/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index d86e179601d9..fe2428fe19e6 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -3,6 +3,7 @@ PORTNAME= Agda PORTVERSION= 2.3.2 +PORTREVISION= 1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org |