diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2021-03-01 18:13:46 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2021-03-01 18:13:46 +0000 |
| commit | 510373e904bb00fdbd42db306270f918d9200447 (patch) | |
| tree | 6abba3c7f62c5e41d35b43559465ca80e0e3c8e4 /math | |
| parent | a8773182a366503f62cb9c2346808a17a036116f (diff) | |
| download | ports-510373e904bb00fdbd42db306270f918d9200447.tar.gz ports-510373e904bb00fdbd42db306270f918d9200447.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/hs-Agda/Makefile | 3 | ||||
| -rw-r--r-- | math/hs-Agda/distinfo | 6 | ||||
| -rw-r--r-- | math/hs-Agda/files/patch-Agda.cabal | 11 |
3 files changed, 4 insertions, 16 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 4c8c8bf06f16..65e91932564b 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.6.1 -PORTREVISION= 5 +PORTVERSION= 2.6.1.3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index 3a486ccf2bc4..4ba66d6d366c 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,6 +1,6 @@ -TIMESTAMP = 1588841486 -SHA256 (cabal/Agda-2.6.1.tar.gz) = 678f416af8f30d017825309f15fac41d239b07f66a4c40497e8435a6bdb7c129 -SIZE (cabal/Agda-2.6.1.tar.gz) = 2646289 +TIMESTAMP = 1614527277 +SHA256 (cabal/Agda-2.6.1.3.tar.gz) = bb1bc840cee95eea291bd220ea043b60153a6f7bd8198bc53be2bf3b83c8a1e7 +SIZE (cabal/Agda-2.6.1.3.tar.gz) = 2716612 SHA256 (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 65d3d7e953388df26c748c4ca2c57175e71a71e779fe6b1a77f6639c4336ea07 SIZE (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 758932 SHA256 (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 1ae82a40060b8014981b8f4d45517f80f02456e73245030993c4c9123b827103 diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal deleted file mode 100644 index 6e4f2368b181..000000000000 --- a/math/hs-Agda/files/patch-Agda.cabal +++ /dev/null @@ -1,11 +0,0 @@ ---- Agda.cabal.orig 2020-03-16 02:17:02 UTC -+++ Agda.cabal -@@ -238,7 +238,7 @@ library - -- In hTags the mtl library must be compiled with the version of - -- transformers shipped with GHC, so we use that version in Agda (see, - -- for example, Issue #2983). -- if impl(ghc >= 8.6.4) && impl(ghc < 8.10.2) -+ if impl(ghc >= 8.6.4) && impl(ghc < 8.10.99) - build-depends: transformers == 0.5.6.2 - - if impl(ghc >= 8.4) && impl(ghc < 8.6.4) |