diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2015-12-08 09:05:15 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2015-12-08 09:05:15 +0000 |
| commit | faaac0db42d1da22ba59f628a1e29f2e00ea4367 (patch) | |
| tree | a77b74f292c12d41f78b9ee7163ba78031669316 /math/hs-Agda-stdlib | |
| parent | 3f84c4ba7dc6f8f0f65b4b76f6b3a0f6faba2285 (diff) | |
Notes
Diffstat (limited to 'math/hs-Agda-stdlib')
| -rw-r--r-- | math/hs-Agda-stdlib/Makefile | 2 | ||||
| -rw-r--r-- | math/hs-Agda-stdlib/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/math/hs-Agda-stdlib/Makefile b/math/hs-Agda-stdlib/Makefile index d6c852d02c01..d45eddc61df8 100644 --- a/math/hs-Agda-stdlib/Makefile +++ b/math/hs-Agda-stdlib/Makefile @@ -2,6 +2,7 @@ PORTNAME= Agda-stdlib PORTVERSION= 0.9 +DISTVERSIONPREFIX= v CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org @@ -13,7 +14,6 @@ USE_GITHUB= yes GH_ACCOUNT= agda GH_PROJECT= agda-stdlib -GH_TAGNAME= v0.9 USE_CABAL= Agda filemanip>=0.3 diff --git a/math/hs-Agda-stdlib/distinfo b/math/hs-Agda-stdlib/distinfo index 40cc10e4e7f9..7fbcd93815be 100644 --- a/math/hs-Agda-stdlib/distinfo +++ b/math/hs-Agda-stdlib/distinfo @@ -1,2 +1,2 @@ -SHA256 (cabal/agda-agda-stdlib-0.9-v0.9_GH0.tar.gz) = 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 -SIZE (cabal/agda-agda-stdlib-0.9-v0.9_GH0.tar.gz) = 248895 +SHA256 (cabal/agda-agda-stdlib-v0.9_GH0.tar.gz) = 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 +SIZE (cabal/agda-agda-stdlib-v0.9_GH0.tar.gz) = 248895 |