6 files changed, 47 insertions, 222 deletions

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 623710d0bc14..7961742615ad 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -6,15 +6,15 @@
 #
 
 PORTNAME=	Agda
-PORTVERSION=	2.2.6
-PORTREVISION=	1
+PORTVERSION=	2.2.10
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell@FreeBSD.org
 COMMENT=	A functional programming language and proof assistant
 
 CABAL_SETUP=	Setup.hs
-USE_HACKAGE=	binary>=0.4.4 haskeline>=0.3 QuickCheck>=2.1.0.2 \
+USE_CABAL=	binary>=0.4.4 haskeline>=0.6.3.2 haskell-src-exts>=1.9.6 \
+		mtl>=2 QuickCheck>=2.3 syb utf8-string>=0.3 xhtml>=3000.2 \
 		zlib>=0.4.0.1
 
 USE_ALEX=	yes
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo
index d25895eb196d..9dd99ea833b4 100644
--- a/math/hs-Agda/distinfo
+++ b/math/hs-Agda/distinfo
@@ -1,2 +1,2 @@
-SHA256 (cabal/Agda-2.2.6.tar.gz) = e9268a61db30fc0f22f7e1fbc78673cd3e0d1bf2dd40ee5cf809635ca40fca78
-SIZE (cabal/Agda-2.2.6.tar.gz) = 429015
+SHA256 (cabal/Agda-2.2.10.tar.gz) = 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae
+SIZE (cabal/Agda-2.2.10.tar.gz) = 517723
diff --git a/math/hs-Agda/files/patch-Agda.cabal b/math/hs-Agda/files/patch-Agda.cabal
new file mode 100644
index 000000000000..0978224feb14
--- /dev/null
+++ b/math/hs-Agda/files/patch-Agda.cabal
@@ -0,0 +1,20 @@
+--- ./Agda.cabal.orig	2011-02-20 16:43:52.000000000 +0100
++++ ./Agda.cabal	2011-03-13 15:30:44.772094824 +0100
+@@ -77,7 +77,7 @@
+     build-depends:  epic >= 0.1.7 && < 0.2
+   build-depends:    mtl == 2.0.*,
+                     QuickCheck >= 2.3 && < 2.5,
+-                    haskell-src-exts >= 1.9.6 && < 1.10,
++                    haskell-src-exts >= 1.9.6,
+                     containers >= 0.1.0 && < 1,
+                     pretty >= 1 && < 2,
+                     directory >= 1.0 && < 1.2,
+@@ -90,7 +90,7 @@
+                     process >= 1.0.1.0 && < 2,
+                     haskeline >= 0.6.3.2 && < 0.7,
+                     xhtml == 3000.2.*,
+-                    syb >= 0.1 && < 0.3
++                    syb >= 0.1
+   build-tools:      happy >= 1.15 && < 2,
+                     alex >= 2.0.1 && < 3
+   extensions:       CPP
diff --git a/math/hs-Agda/files/patch-src__full__Agda__Interaction__Highlighting__Generate.hs b/math/hs-Agda/files/patch-src__full__Agda__Interaction__Highlighting__Generate.hs
new file mode 100644
index 000000000000..fa10c8edfa4a
--- /dev/null
+++ b/math/hs-Agda/files/patch-src__full__Agda__Interaction__Highlighting__Generate.hs
@@ -0,0 +1,11 @@
+--- ./src/full/Agda/Interaction/Highlighting/Generate.hs.orig	2011-02-20 16:43:52.000000000 +0100
++++ ./src/full/Agda/Interaction/Highlighting/Generate.hs	2011-03-13 15:37:48.951336040 +0100
+@@ -37,7 +37,7 @@
+ import Control.Monad.State
+ import Control.Applicative
+ import Data.Monoid
+-import Data.Generics
++import Data.Generics hiding (everythingBut)
+ import Data.Function
+ import Agda.Utils.Generics
+ import Agda.Utils.FileName
diff --git a/math/hs-Agda/files/patch-src__full__Agda__Utils__Generics.hs b/math/hs-Agda/files/patch-src__full__Agda__Utils__Generics.hs
new file mode 100644
index 000000000000..b9b45b9ace71
--- /dev/null
+++ b/math/hs-Agda/files/patch-src__full__Agda__Utils__Generics.hs
@@ -0,0 +1,11 @@
+--- ./src/full/Agda/Utils/Generics.hs.orig	2011-02-20 16:43:52.000000000 +0100
++++ ./src/full/Agda/Utils/Generics.hs	2011-03-13 15:32:35.151924104 +0100
+@@ -3,7 +3,7 @@
+ -}
+ module Agda.Utils.Generics where
+ 
+-import Data.Generics
++import Data.Generics hiding (everythingBut)
+ 
+ isString :: GenericQ Bool
+ isString = mkQ False (const True :: String -> Bool)
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
deleted file mode 100644
index 7cca7f4ea380..000000000000
--- a/math/hs-Agda/pkg-plist
+++ /dev/null
@@ -1,217 +0,0 @@
-@comment $FreeBSD$
-bin/agda-mode
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/Auto.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/Convert.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/NarrowingSearch.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/Print.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/SearchControl.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/Syntax.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto/Typecheck.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/Classify.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/Common.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/Main.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/OptimizedPrinter.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/TranslateName.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate/UntypedPrinter.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Alonzo/Haskell.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Alonzo/Main.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Alonzo/Names.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Alonzo/PatternMonad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/HaskellTypes.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo/Compiler.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo/Encode.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo/Misc.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo/Pretty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo/Primitives.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/BasicOps.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/CommandLine/CommandLine.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Exceptions.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/FindFile.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/GhciTop.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/Emacs.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/Generate.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/HTML.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/Precise.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/Range.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting/Vim.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Imports.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/MakeCase.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Monad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Options.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Main.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Abstract.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Abstract/Name.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Abstract/Pretty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Abstract/Views.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Common.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Definitions.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Name.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Operators.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Operators/Parser.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Pretty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Fixity.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Info.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Internal.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Internal/Generic.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Internal/Pattern.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Literal.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Alex.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Comments.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Layout.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/LexActions.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Lexer.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/LookAhead.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Monad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Parser.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/StringLiterals.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser/Tokens.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Position.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Scope/Base.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Scope/Monad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Strict.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Translation/AbstractToConcrete.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Translation/ConcreteToAbstract.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Translation/InternalToAbstract.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/CallGraph.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/Lexicographic.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/Matrix.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/Semiring.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/TermCheck.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination/Termination.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Tests.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecker.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Abstract.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Constraints.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Conversion.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Coverage.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Coverage/Match.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/DisplayForm.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Empty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Errors.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/EtaContract.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Free.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Implicit.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Injectivity.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Level.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/MetaVars.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/MetaVars/Occurs.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Base.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Builtin.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Closure.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Constraints.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Context.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Debug.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Env.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Exception.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Imports.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/MetaVars.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Mutual.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Open.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Options.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Signature.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/SizedTypes.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/State.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Statistics.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad/Trace.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Patterns/Match.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Polarity.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Positivity.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Pretty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Primitive.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rebind.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Records.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Reduce.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Builtin.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Data.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Decl.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Def.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS/Implicit.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS/Instantiate.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS/Problem.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS/Split.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS/Unify.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Record.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/Term.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Serialise.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/SizedTypes.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Substitute.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Telescope.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Test/Generators.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Tests.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/With.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Char.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Either.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/FileName.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Fresh.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Function.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Generics.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Graph.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Hash.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/IO/Binary.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/IO/Locale.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/IO/UTF8.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Impossible.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/List.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Map.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Maybe.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Monad.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Permutation.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Pointer.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Pretty.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/QuickCheck.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/ReadP.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/SemiRing.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Size.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/String.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Suffix.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/TestHelpers.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Trace.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Trie.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Tuple.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Unicode.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/Warshall.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Version.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/HS%%PORTNAME%%-%%PORTVERSION%%.o
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Paths_Agda.hi
-%%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/libHS%%PORTNAME%%-%%PORTVERSION%%.a
-%%LIBDIR_REL%%/register.sh
-%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
-%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils/IO
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Utils
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Test
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules/LHS
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Rules
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Patterns
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Monad
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/MetaVars
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking/Coverage
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/TypeChecking
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Termination
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Translation
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Scope
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Parser
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Internal
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete/Operators
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Concrete
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax/Abstract
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Syntax
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/Highlighting
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction/CommandLine
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Interaction
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/MAlonzo
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Alonzo
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler/Agate
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Compiler
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda/Auto
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Agda
-@dirrm %%LIBDIR_REL%%/ghc-%%GHC_VERSION%%
-@dirrm %%LIBDIR_REL%%
-@exec /bin/sh %D/%%LIBDIR_REL%%/register.sh
-@exec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
-@unexec %D/bin/ghc-pkg unregister %%PORTNAME%%-%%PORTVERSION%%
-@unexec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old