pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/lang/idris2
Module Name: pkgsrc
Committed By: pho
Date: Fri May 3 06:47:20 UTC 2024
Modified Files:
pkgsrc/lang/idris2: Makefile PLIST distinfo
Removed Files:
pkgsrc/lang/idris2/patches: patch-Makefile patch-libs_base_Makefile
patch-libs_contrib_Makefile patch-libs_linear_Makefile
patch-libs_network_Makefile patch-libs_prelude_Makefile
patch-libs_test_Makefile patch-src_Core_Context.idr
patch-src_Core_Options.idr patch-src_Idris_CommandLine.idr
patch-src_Idris_Package.idr patch-src_Idris_SetOptions.idr
patch-support_c_Makefile patch-support_chez_Makefile
patch-support_refc_Makefile
Log Message:
lang/idris2: Update to 0.7.0
Release notes are too long to paste here:
https://github.com/idris-lang/Idris2/blob/27780073c8631826d846499840b3857d9b9a4fd5/CHANGELOG.md
To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris2/Makefile pkgsrc/lang/idris2/PLIST
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/idris2/distinfo
cvs rdiff -u -r1.2 -r0 pkgsrc/lang/idris2/patches/patch-Makefile \
pkgsrc/lang/idris2/patches/patch-libs_base_Makefile \
pkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile \
pkgsrc/lang/idris2/patches/patch-libs_network_Makefile \
pkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile \
pkgsrc/lang/idris2/patches/patch-libs_test_Makefile \
pkgsrc/lang/idris2/patches/patch-src_Core_Context.idr \
pkgsrc/lang/idris2/patches/patch-src_Core_Options.idr \
pkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr \
pkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr \
pkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr \
pkgsrc/lang/idris2/patches/patch-support_c_Makefile \
pkgsrc/lang/idris2/patches/patch-support_chez_Makefile \
pkgsrc/lang/idris2/patches/patch-support_refc_Makefile
cvs rdiff -u -r1.1 -r0 pkgsrc/lang/idris2/patches/patch-libs_linear_Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/lang/idris2/Makefile
diff -u pkgsrc/lang/idris2/Makefile:1.1 pkgsrc/lang/idris2/Makefile:1.2
--- pkgsrc/lang/idris2/Makefile:1.1 Mon Nov 6 17:17:50 2023
+++ pkgsrc/lang/idris2/Makefile Fri May 3 06:47:18 2024
@@ -1,12 +1,16 @@
-# $NetBSD: Makefile,v 1.1 2023/11/06 17:17:50 pho Exp $
+# $NetBSD: Makefile,v 1.2 2024/05/03 06:47:18 pho Exp $
-DISTNAME= idris2-0.6.0
+# ABI version: See ${WRKSRC}/src/Core/Binary.idr (ttcVersion)
+IDRIS2_TTC_VERSION= 2023090800
+
+DISTNAME= idris2-0.7.0
CATEGORIES= lang
-MASTER_SITES= https://www.idris-lang.org/idris2-src/
-EXTRACT_SUFX= .tgz
+MASTER_SITES= ${MASTER_SITE_GITHUB:=idris-lang/}
+GITHUB_PROJECT= Idris2
+GITHUB_TAG= v${PKGVERSION_NOREV}
MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://www.idris-lang.org/index.html
+HOMEPAGE= https://www.idris-lang.org/
COMMENT= Functional Programming Language with Dependent Types
LICENSE= modified-bsd
@@ -14,10 +18,17 @@ WRKSRC= ${WRKDIR}/${DISTNAME:S/idris2/I
USE_TOOLS+= gmake
NO_CONFIGURE= yes
+
+#
+# Targets (See ${WRKSRC}/INSTALL.mk)
+#
BUILD_TARGET= bootstrap
MAKE_FLAGS= SCHEME=chezscheme
TEST_TARGET= test
+#
+# Build
+#
post-build:
${WRKSRC}/build/exec/idris2 --bash-completion-script idris2 > ${WRKDIR}/idris2.bash
( \
@@ -26,9 +37,9 @@ post-build:
${CAT} ${WRKDIR}/idris2.bash; \
) > ${WRKDIR}/idris2.zsh
-# TODO: It would be nice to install API documentation too, but "make
-# install-api" currently doesn't work because it tries to read files from
-# the final installation path ${PREFIX} but not from ${DESTDIR}.
+#
+# Install
+#
INSTALLATION_DIRS+= libexec
INSTALLATION_DIRS+= share/bash-completion/completions
INSTALLATION_DIRS+= share/zsh/site-functions
@@ -54,6 +65,21 @@ SUBST_FILES.app= ${DESTDIR}${PREFIX}/bin
SUBST_FILTER_CMD.app= ${AWK} '/fi/ { print $$0; print "DIR=$$DIR/../libexec"; next } \
{ print $$0 }'
+# These .so files aren't shared libraries.
+CHECK_SHLIBS_SKIP+= ${PKGNAME_NOREV}/*.so
+CHECK_SHLIBS_SKIP+= libexec/idris2_app/idris2.so
+
+#
+# PLIST
+#
+PRINT_PLIST_AWK+= { gsub("${PKGNAME_NOREV}", "$${PKGNAME_NOREV}") }
+PRINT_PLIST_AWK+= { gsub("${IDRIS2_TTC_VERSION}", "$${IDRIS2_TTC_VERSION}") }
+PLIST_SUBST+= PKGNAME_NOREV=${PKGNAME_NOREV}
+PLIST_SUBST+= IDRIS2_TTC_VERSION=${IDRIS2_TTC_VERSION}
+
+#
+# Dependencies
+#
# It uses Chez Scheme at run time in order to compile Scheme source
# (compiled from Idris 2) into native code.
DEPENDS+= chezscheme-[0-9]*:../../lang/chezscheme
Index: pkgsrc/lang/idris2/PLIST
diff -u pkgsrc/lang/idris2/PLIST:1.1 pkgsrc/lang/idris2/PLIST:1.2
--- pkgsrc/lang/idris2/PLIST:1.1 Mon Nov 6 17:17:50 2023
+++ pkgsrc/lang/idris2/PLIST Fri May 3 06:47:18 2024
@@ -1,568 +1,858 @@
-@comment $NetBSD: PLIST,v 1.1 2023/11/06 17:17:50 pho Exp $
+@comment $NetBSD: PLIST,v 1.2 2024/05/03 06:47:18 pho Exp $
bin/idris2
-${PKGNAME}/base-${PKGVERSION}/Control/App.so
-${PKGNAME}/base-${PKGVERSION}/Control/App.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/App/Console.so
-${PKGNAME}/base-${PKGVERSION}/Control/App/Console.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.so
-${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.so
-${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Function.so
-${PKGNAME}/base-${PKGVERSION}/Control/Function.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.so
-${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Either.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/State.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.so
-${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Ord.so
-${PKGNAME}/base-${PKGVERSION}/Control/Ord.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Order.so
-${PKGNAME}/base-${PKGVERSION}/Control/Order.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/Relation.so
-${PKGNAME}/base-${PKGVERSION}/Control/Relation.ttc
-${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.so
-${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.so
-${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Bits.so
-${PKGNAME}/base-${PKGVERSION}/Data/Bits.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Bool.so
-${PKGNAME}/base-${PKGVERSION}/Data/Bool.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.so
-${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Buffer.so
-${PKGNAME}/base-${PKGVERSION}/Data/Buffer.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Colist.so
-${PKGNAME}/base-${PKGVERSION}/Data/Colist.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Colist1.so
-${PKGNAME}/base-${PKGVERSION}/Data/Colist1.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.so
-${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/DPair.so
-${PKGNAME}/base-${PKGVERSION}/Data/DPair.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Either.so
-${PKGNAME}/base-${PKGVERSION}/Data/Either.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Fin.so
-${PKGNAME}/base-${PKGVERSION}/Data/Fin.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.so
-${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Fuel.so
-${PKGNAME}/base-${PKGVERSION}/Data/Fuel.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Fun.so
-${PKGNAME}/base-${PKGVERSION}/Data/Fun.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/IOArray.so
-${PKGNAME}/base-${PKGVERSION}/Data/IOArray.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.so
-${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/IORef.so
-${PKGNAME}/base-${PKGVERSION}/Data/IORef.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List.so
-${PKGNAME}/base-${PKGVERSION}/Data/List.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.so
-${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.so
-${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List/Views.so
-${PKGNAME}/base-${PKGVERSION}/Data/List/Views.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List1.so
-${PKGNAME}/base-${PKGVERSION}/Data/List1.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.so
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.so
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.so
-${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Maybe.so
-${PKGNAME}/base-${PKGVERSION}/Data/Maybe.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.so
-${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Nat.so
-${PKGNAME}/base-${PKGVERSION}/Data/Nat.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.so
-${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.so
-${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.so
-${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Ref.so
-${PKGNAME}/base-${PKGVERSION}/Data/Ref.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Rel.so
-${PKGNAME}/base-${PKGVERSION}/Data/Rel.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Singleton.so
-${PKGNAME}/base-${PKGVERSION}/Data/Singleton.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList.so
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.so
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.so
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.so
-${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/So.so
-${PKGNAME}/base-${PKGVERSION}/Data/So.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Stream.so
-${PKGNAME}/base-${PKGVERSION}/Data/Stream.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/String.so
-${PKGNAME}/base-${PKGVERSION}/Data/String.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/These.so
-${PKGNAME}/base-${PKGVERSION}/Data/These.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Vect.so
-${PKGNAME}/base-${PKGVERSION}/Data/Vect.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.so
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.so
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.so
-${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.ttc
-${PKGNAME}/base-${PKGVERSION}/Data/Zippable.so
-${PKGNAME}/base-${PKGVERSION}/Data/Zippable.ttc
-${PKGNAME}/base-${PKGVERSION}/Debug/Trace.so
-${PKGNAME}/base-${PKGVERSION}/Debug/Trace.ttc
-${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.so
-${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.ttc
-${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.so
-${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.ttc
-${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.so
-${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.ttc
-${PKGNAME}/base-${PKGVERSION}/Deriving/Common.so
-${PKGNAME}/base-${PKGVERSION}/Deriving/Common.ttc
-${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.so
-${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.ttc
-${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.so
-${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.ttc
-${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.so
-${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.ttc
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection.so
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection.ttc
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.so
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.ttc
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.so
-${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.ttc
-${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.so
-${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.ttc
-${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.so
-${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.ttc
-${PKGNAME}/base-${PKGVERSION}/System.so
-${PKGNAME}/base-${PKGVERSION}/System.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Clock.so
-${PKGNAME}/base-${PKGVERSION}/System/Clock.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Concurrency.so
-${PKGNAME}/base-${PKGVERSION}/System/Concurrency.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Directory.so
-${PKGNAME}/base-${PKGVERSION}/System/Directory.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Errno.so
-${PKGNAME}/base-${PKGVERSION}/System/Errno.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Escape.so
-${PKGNAME}/base-${PKGVERSION}/System/Escape.ttc
-${PKGNAME}/base-${PKGVERSION}/System/FFI.so
-${PKGNAME}/base-${PKGVERSION}/System/FFI.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File.so
-${PKGNAME}/base-${PKGVERSION}/System/File.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Error.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Error.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Handle.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Handle.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Meta.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Meta.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Mode.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Mode.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Process.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Process.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.so
-${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Support.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Support.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Types.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Types.ttc
-${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.so
-${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Info.so
-${PKGNAME}/base-${PKGVERSION}/System/Info.ttc
-${PKGNAME}/base-${PKGVERSION}/System/REPL.so
-${PKGNAME}/base-${PKGVERSION}/System/REPL.ttc
-${PKGNAME}/base-${PKGVERSION}/System/Signal.so
-${PKGNAME}/base-${PKGVERSION}/System/Signal.ttc
-${PKGNAME}/base-${PKGVERSION}/base.ipkg
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Category.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Category.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.so
-${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Late.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Late.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Order.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Order.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Path.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Path.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Data/Void.so
-${PKGNAME}/contrib-${PKGVERSION}/Data/Void.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.so
-${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.so
-${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.so
-${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.so
-${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.so
-${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.ttc
-${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.so
-${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.ttc
-${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.so
-${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.ttc
-${PKGNAME}/contrib-${PKGVERSION}/System/Future.so
-${PKGNAME}/contrib-${PKGVERSION}/System/Future.ttc
-${PKGNAME}/contrib-${PKGVERSION}/System/Path.so
-${PKGNAME}/contrib-${PKGVERSION}/System/Path.ttc
-${PKGNAME}/contrib-${PKGVERSION}/System/Random.so
-${PKGNAME}/contrib-${PKGVERSION}/System/Random.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.ttc
-${PKGNAME}/contrib-${PKGVERSION}/Text/Token.so
-${PKGNAME}/contrib-${PKGVERSION}/Text/Token.ttc
-${PKGNAME}/contrib-${PKGVERSION}/contrib.ipkg
-${PKGNAME}/lib/libidris2_support.a
-${PKGNAME}/lib/libidris2_support.so
-${PKGNAME}/linear-0.5.1/Control/Linear/LIO.so
-${PKGNAME}/linear-0.5.1/Control/Linear/LIO.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.so
-${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/Copies.so
-${PKGNAME}/linear-0.5.1/Data/Linear/Copies.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/Interface.so
-${PKGNAME}/linear-0.5.1/Data/Linear/Interface.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/LEither.so
-${PKGNAME}/linear-0.5.1/Data/Linear/LEither.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/LList.so
-${PKGNAME}/linear-0.5.1/Data/Linear/LList.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.so
-${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/LNat.so
-${PKGNAME}/linear-0.5.1/Data/Linear/LNat.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/LVect.so
-${PKGNAME}/linear-0.5.1/Data/Linear/LVect.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.so
-${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.ttc
-${PKGNAME}/linear-0.5.1/Data/Linear/Notation.so
-${PKGNAME}/linear-0.5.1/Data/Linear/Notation.ttc
-${PKGNAME}/linear-0.5.1/linear.ipkg
-${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.so
-${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.ttc
-${PKGNAME}/network-${PKGVERSION}/Network/FFI.so
-${PKGNAME}/network-${PKGVERSION}/Network/FFI.ttc
-${PKGNAME}/network-${PKGVERSION}/Network/Socket.so
-${PKGNAME}/network-${PKGVERSION}/Network/Socket.ttc
-${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.so
-${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.ttc
-${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.so
-${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.ttc
-${PKGNAME}/network-${PKGVERSION}/network.ipkg
-${PKGNAME}/prelude-${PKGVERSION}/Builtin.so
-${PKGNAME}/prelude-${PKGVERSION}/Builtin.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Ops.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.ttc
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.so
-${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.ttc
-${PKGNAME}/prelude-${PKGVERSION}/PrimIO.so
-${PKGNAME}/prelude-${PKGVERSION}/PrimIO.ttc
-${PKGNAME}/prelude-${PKGVERSION}/prelude.ipkg
-${PKGNAME}/support/c/getline.h
-${PKGNAME}/support/c/idris_directory.h
-${PKGNAME}/support/c/idris_file.h
-${PKGNAME}/support/c/idris_memory.h
-${PKGNAME}/support/c/idris_net.h
-${PKGNAME}/support/c/idris_signal.h
-${PKGNAME}/support/c/idris_support.h
-${PKGNAME}/support/c/idris_system.h
-${PKGNAME}/support/c/idris_term.h
-${PKGNAME}/support/c/idris_util.h
-${PKGNAME}/support/chez/ct-support.ss
-${PKGNAME}/support/chez/support-sep.ss
-${PKGNAME}/support/chez/support.ss
-${PKGNAME}/support/docs/alternative.css
-${PKGNAME}/support/docs/blackandwhite.css
-${PKGNAME}/support/docs/default.css
-${PKGNAME}/support/gambit/foreign.scm
-${PKGNAME}/support/gambit/support.scm
-${PKGNAME}/support/js/support.js
-${PKGNAME}/support/js/support_system.js
-${PKGNAME}/support/js/support_system_directory.js
-${PKGNAME}/support/js/support_system_file.js
-${PKGNAME}/support/js/support_system_signal.js
-${PKGNAME}/support/racket/ct-support.rkt
-${PKGNAME}/support/racket/support.rkt
-${PKGNAME}/support/refc/_datatypes.h
-${PKGNAME}/support/refc/buffer.h
-${PKGNAME}/support/refc/cBackend.h
-${PKGNAME}/support/refc/casts.h
-${PKGNAME}/support/refc/clock.h
-${PKGNAME}/support/refc/conCaseHelper.h
-${PKGNAME}/support/refc/libidris2_refc.a
-${PKGNAME}/support/refc/mathFunctions.h
-${PKGNAME}/support/refc/memoryManagement.h
-${PKGNAME}/support/refc/prim.h
-${PKGNAME}/support/refc/refc_util.h
-${PKGNAME}/support/refc/runtime.h
-${PKGNAME}/support/refc/stringOps.h
-${PKGNAME}/support/refc/threads.h
-${PKGNAME}/test-${PKGVERSION}/Test/Golden.so
-${PKGNAME}/test-${PKGVERSION}/Test/Golden.ttc
-${PKGNAME}/test-${PKGVERSION}/test.ipkg
-lib/libidris2_support.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/Console.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/Console.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/Console.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/FileIO.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/FileIO.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/App/FileIO.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Applicative/Const.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Applicative/Const.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Applicative/Const.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function/FunExt.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function/FunExt.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Function/FunExt.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Either.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Either.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Either.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Either.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Either.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Interface.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Interface.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Error/Interface.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Identity.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Identity.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Identity.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Maybe.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Maybe.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Maybe.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/CPS.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/CPS.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/CPS.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/Interface.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/Interface.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/RWS/Interface.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Interface.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Interface.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Interface.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Reader.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Reader.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Reader/Reader.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/ST.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/ST.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/ST.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/Interface.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/Interface.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/Interface.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/State.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/State.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/State/State.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Trans.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Trans.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Trans.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/CPS.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/CPS.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/CPS.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/Interface.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/Interface.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Writer/Interface.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Ord.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Ord.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Ord.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Order.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Order.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Order.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation/Closure.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation/Closure.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Relation/Closure.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/WellFounded.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/WellFounded.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/WellFounded.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bifoldable.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bifoldable.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bifoldable.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bits.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bits.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bits.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Xor.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Xor.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Xor.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Buffer.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Buffer.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Buffer.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist1.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist1.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Colist1.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Contravariant.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Contravariant.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Contravariant.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/DPair.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/DPair.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/DPair.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Double.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Double.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Double.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Either.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Either.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Either.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Order.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Order.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Order.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fuel.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fuel.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fuel.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray/Prims.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray/Prims.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOArray/Prims.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IORef.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IORef.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IORef.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Integral.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Integral.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Integral.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/HasLength.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/HasLength.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/HasLength.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Quantifiers.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Quantifiers.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Quantifiers.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Elem.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Elem.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Elem.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Properties.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Properties.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Properties.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Quantifiers.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Quantifiers.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List1/Quantifiers.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Maybe.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Maybe.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Maybe.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Views.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Views.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Views.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Primitives/Views.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Primitives/Views.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Primitives/Views.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Ref.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Ref.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Ref.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Singleton.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Singleton.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Singleton.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Elem.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Elem.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Elem.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Operations.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Operations.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Operations.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Quantifiers.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Quantifiers.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SnocList/Quantifiers.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/So.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/So.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/So.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap/Dependent.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap/Dependent.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedMap/Dependent.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedSet.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedSet.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/SortedSet.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/These.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/These.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/These.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/AtIndex.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/AtIndex.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/AtIndex.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Elem.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Elem.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Elem.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Quantifiers.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Quantifiers.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Quantifiers.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Zippable.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Zippable.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Zippable.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Trace.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Trace.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Trace.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality/Core.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality/Core.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Equality/Core.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Common.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Common.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Common.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Foldable.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Foldable.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Foldable.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Functor.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Functor.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Functor.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Show.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Show.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Show.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Traversable.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Traversable.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Deriving/Traversable.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TT.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TT.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TT.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TTImp.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TTImp.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/Reflection/TTImp.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning/Generic.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning/Generic.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/PreorderReasoning/Generic.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Clock.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Clock.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Clock.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Concurrency.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Concurrency.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Concurrency.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Errno.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Errno.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Errno.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Escape.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Escape.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Escape.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/FFI.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/FFI.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/FFI.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Buffer.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Buffer.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Buffer.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Error.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Error.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Error.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Handle.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Handle.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Handle.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Meta.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Meta.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Meta.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Mode.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Mode.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Mode.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Permissions.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Permissions.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Permissions.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Process.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Process.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Process.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/ReadWrite.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/ReadWrite.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/ReadWrite.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Support.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Support.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Support.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Types.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Types.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Types.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Virtual.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Virtual.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/File/Virtual.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Info.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Info.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Info.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/REPL.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/REPL.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/REPL.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Signal.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Signal.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Signal.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Term.so
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Term.ttc
+${PKGNAME_NOREV}/base-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Term.ttm
+${PKGNAME_NOREV}/base-${PKGVERSION}/base.ipkg
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/CSI.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/CSI.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/CSI.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/SGR.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/SGR.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/ANSI/SGR.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Implementations.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Implementations.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Implementations.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Laws.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Laws.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Algebra/Laws.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Arrow.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Arrow.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Arrow.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Category.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Category.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Category.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Delayed.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Delayed.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Delayed.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Monad/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Validation.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Validation.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Validation.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary/Digit.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary/Digit.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Binary/Digit.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Decidable.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Decidable.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Bool/Decidable.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fin/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Graph.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Graph.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Fun/Graph.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/HVect.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/HVect.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/HVect.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IMaybe.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IMaybe.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IMaybe.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOMatrix.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOMatrix.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/IOMatrix.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Int/Order.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Int/Order.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Int/Order.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Late.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Late.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Late.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Array.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Array.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Array.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Alternating.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Alternating.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Alternating.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/AtIndex.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/AtIndex.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/AtIndex.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Elem/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Equalities.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Equalities.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Equalities.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy/Quantifiers.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy/Quantifiers.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Lazy/Quantifiers.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Palindrome.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Palindrome.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Palindrome.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Reverse.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Reverse.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Reverse.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Sufficient.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Sufficient.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Sufficient.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/TailRec.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/TailRec.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/TailRec.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/List/Views/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Logic/Propositional.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Logic/Propositional.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Logic/Propositional.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Monoid/Exponentiation.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Monoid/Exponentiation.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Monoid/Exponentiation.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Morphisms/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Ack.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Ack.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Ack.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Algebra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Algebra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Algebra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Division.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Division.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Division.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Equational.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Equational.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Equational.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Exponentiation.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Exponentiation.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Exponentiation.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fact.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fact.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fact.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Factor.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Factor.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Factor.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fib.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fib.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Fib.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Properties.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Properties.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Properties.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Relation.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Relation.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Relation.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Strict.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Strict.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Order/Strict.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Properties.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Properties.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Nat/Properties.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Order.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Order.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Order.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Path.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Path.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Path.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel/Complement.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel/Complement.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Rel/Complement.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Internal.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Internal.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Internal.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Sized.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Sized.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Sized.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Unsized.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Unsized.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Seq/Unsized.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Stream/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Interpolation.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Interpolation.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Interpolation.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Iterator.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Iterator.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Iterator.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser/Expression.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser/Expression.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Parser/Expression.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Position.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Position.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/String/Position.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Congruence.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Congruence.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Congruence.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Fun.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Fun.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Fun.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Segment.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Segment.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Segment.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/SimpleFun.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/SimpleFun.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/SimpleFun.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Telescope.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Telescope.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Telescope/Telescope.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Validated.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Validated.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Validated.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Fin.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Fin.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Fin.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Foldr.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Foldr.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Foldr.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Index.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Index.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Index.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Map.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Map.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Map.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Tabulate.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Tabulate.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Properties/Tabulate.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Sort.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Sort.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Sort.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Views/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Views/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Vect/Views/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Void.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Void.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Void.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Buffer.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Buffer.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Debug/Buffer.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable/Extra.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable/Extra.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Decidable/Extra.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Finite/Fin.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Finite/Fin.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Finite/Fin.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Order/Strict.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Order/Strict.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Decidable/Order/Strict.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Data.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Data.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Data.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Lexer.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Lexer.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Lexer.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Parser.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Parser.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Parser.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Lexer.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Lexer.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Lexer.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Parser.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Parser.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Parser.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Tokens.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Tokens.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/String/Tokens.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Tokens.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Tokens.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Language/JSON/Tokens.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/WithProof.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/WithProof.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Syntax/WithProof.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Console/GetOpt.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Console/GetOpt.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Console/GetOpt.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory/Tree.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory/Tree.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Directory/Tree.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Future.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Future.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Future.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Path.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Path.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Path.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Random.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Random.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/System/Random.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Bounded.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Bounded.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Bounded.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Distance/Levenshtein.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Distance/Levenshtein.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Distance/Levenshtein.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Core.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Core.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Core.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Tokenizer.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Tokenizer.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Lexer/Tokenizer.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Literate.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Literate.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Literate.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Core.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Core.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Core.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Expression.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Expression.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Parser/Expression.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Doc.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Doc.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Doc.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/String.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/String.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/String.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Symbols.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Symbols.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Symbols.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Util.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Util.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/PrettyPrint/Prettyprinter/Util.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Quantity.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Quantity.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Quantity.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Token.so
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Token.ttc
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Text/Token.ttm
+${PKGNAME_NOREV}/contrib-${PKGVERSION}/contrib.ipkg
+${PKGNAME_NOREV}/lib/libidris2_support.a
+${PKGNAME_NOREV}/lib/libidris2_support.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/LIO.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/LIO.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/LIO.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Bifunctor.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Bifunctor.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Bifunctor.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Copies.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Copies.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Copies.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Interface.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Interface.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Interface.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LEither.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LEither.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LEither.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LList.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LList.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LList.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LMaybe.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LMaybe.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LMaybe.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LNat.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LNat.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LNat.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LVect.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LVect.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/LVect.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/List/LQuantifiers.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/List/LQuantifiers.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/List/LQuantifiers.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Notation.so
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Notation.ttc
+${PKGNAME_NOREV}/linear-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Data/Linear/Notation.ttm
+${PKGNAME_NOREV}/linear-${PKGVERSION}/linear.ipkg
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/Network.so
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/Network.ttc
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Control/Linear/Network.ttm
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/FFI.so
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/FFI.ttc
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/FFI.ttm
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket.so
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket.ttc
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket.ttm
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Data.so
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Data.ttc
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Data.ttm
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Raw.so
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Raw.ttc
+${PKGNAME_NOREV}/network-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Network/Socket/Raw.ttm
+${PKGNAME_NOREV}/network-${PKGVERSION}/network.ipkg
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Builtin.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Builtin.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Builtin.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Basics.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Basics.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Basics.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Cast.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Cast.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Cast.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/EqOrd.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/EqOrd.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/EqOrd.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/IO.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/IO.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/IO.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interfaces.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interfaces.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interfaces.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interpolation.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interpolation.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Interpolation.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Num.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Num.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Num.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Ops.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Ops.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Show.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Show.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Show.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Types.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Types.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Types.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Uninhabited.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Uninhabited.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Prelude/Uninhabited.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/PrimIO.so
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/PrimIO.ttc
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/${IDRIS2_TTC_VERSION}/PrimIO.ttm
+${PKGNAME_NOREV}/prelude-${PKGVERSION}/prelude.ipkg
+${PKGNAME_NOREV}/support/c/getline.h
+${PKGNAME_NOREV}/support/c/idris_directory.h
+${PKGNAME_NOREV}/support/c/idris_file.h
+${PKGNAME_NOREV}/support/c/idris_memory.h
+${PKGNAME_NOREV}/support/c/idris_net.h
+${PKGNAME_NOREV}/support/c/idris_signal.h
+${PKGNAME_NOREV}/support/c/idris_support.h
+${PKGNAME_NOREV}/support/c/idris_system.h
+${PKGNAME_NOREV}/support/c/idris_term.h
+${PKGNAME_NOREV}/support/c/idris_util.h
+${PKGNAME_NOREV}/support/chez/ct-support.ss
+${PKGNAME_NOREV}/support/chez/support-sep.ss
+${PKGNAME_NOREV}/support/chez/support.ss
+${PKGNAME_NOREV}/support/docs/alternative.css
+${PKGNAME_NOREV}/support/docs/blackandwhite.css
+${PKGNAME_NOREV}/support/docs/default.css
+${PKGNAME_NOREV}/support/gambit/foreign.scm
+${PKGNAME_NOREV}/support/gambit/support.scm
+${PKGNAME_NOREV}/support/js/support.js
+${PKGNAME_NOREV}/support/js/support_system.js
+${PKGNAME_NOREV}/support/js/support_system_clock.js
+${PKGNAME_NOREV}/support/js/support_system_directory.js
+${PKGNAME_NOREV}/support/js/support_system_file.js
+${PKGNAME_NOREV}/support/js/support_system_signal.js
+${PKGNAME_NOREV}/support/racket/ct-support.rkt
+${PKGNAME_NOREV}/support/racket/support.rkt
+${PKGNAME_NOREV}/support/refc/_datatypes.h
+${PKGNAME_NOREV}/support/refc/buffer.h
+${PKGNAME_NOREV}/support/refc/cBackend.h
+${PKGNAME_NOREV}/support/refc/casts.h
+${PKGNAME_NOREV}/support/refc/clock.h
+${PKGNAME_NOREV}/support/refc/conCaseHelper.h
+${PKGNAME_NOREV}/support/refc/libidris2_refc.a
+${PKGNAME_NOREV}/support/refc/mathFunctions.h
+${PKGNAME_NOREV}/support/refc/memoryManagement.h
+${PKGNAME_NOREV}/support/refc/prim.h
+${PKGNAME_NOREV}/support/refc/refc_util.h
+${PKGNAME_NOREV}/support/refc/runtime.h
+${PKGNAME_NOREV}/support/refc/stringOps.h
+${PKGNAME_NOREV}/support/refc/threads.h
+${PKGNAME_NOREV}/test-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Test/Golden.so
+${PKGNAME_NOREV}/test-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Test/Golden.ttc
+${PKGNAME_NOREV}/test-${PKGVERSION}/${IDRIS2_TTC_VERSION}/Test/Golden.ttm
+${PKGNAME_NOREV}/test-${PKGVERSION}/test.ipkg
libexec/idris2_app/idris2.so
libexec/idris2_app/idris2.ss
libexec/idris2_app/libidris2_support.so
Index: pkgsrc/lang/idris2/distinfo
diff -u pkgsrc/lang/idris2/distinfo:1.2 pkgsrc/lang/idris2/distinfo:1.3
--- pkgsrc/lang/idris2/distinfo:1.2 Tue Nov 7 03:40:19 2023
+++ pkgsrc/lang/idris2/distinfo Fri May 3 06:47:18 2024
@@ -1,20 +1,6 @@
-$NetBSD: distinfo,v 1.2 2023/11/07 03:40:19 pho Exp $
+$NetBSD: distinfo,v 1.3 2024/05/03 06:47:18 pho Exp $
-BLAKE2s (idris2-0.6.0.tgz) = fcf40270e9a4bcceeeeb1eb78c4d9087c5640046ca10efcd16afabcebf6833aa
-SHA512 (idris2-0.6.0.tgz) = 97dfdb4a8c115e7f2ed676649ee718f0e8ab257083b1d862a3da63bae92d6bc436cd2d3a9fb25942fc4ce7d69f7431418a3699955fe2dd41d137ac65e6e35755
-Size (idris2-0.6.0.tgz) = 3669129 bytes
-SHA1 (patch-Makefile) = 963b7472155e5d6d3b496fa7e79c8510d5d1cae7
-SHA1 (patch-libs_base_Makefile) = 6328faf1b0b94193f79d7090193b608655f99a9e
-SHA1 (patch-libs_contrib_Makefile) = 66b4178aa3a6ff510e7e78dffcfec67c7ab981a4
-SHA1 (patch-libs_linear_Makefile) = 910e8e8ccae3dd56692eb4494d14e1c643f7a1ed
-SHA1 (patch-libs_network_Makefile) = ae9c697d05d90222649f3e4fe878d055e74775d8
-SHA1 (patch-libs_prelude_Makefile) = df9125e1123ac1ff01867b0ac242b203804598e6
-SHA1 (patch-libs_test_Makefile) = 5b8a0fc26b746400c281e3a82a40eb90125f1e5a
-SHA1 (patch-src_Core_Context.idr) = 5b797ef07a73efa12d05be39bb5adaf8145121b9
-SHA1 (patch-src_Core_Options.idr) = 49c04bf4a5f8cf55c2338762801756d7fab98f10
-SHA1 (patch-src_Idris_CommandLine.idr) = 38c72ece61d17dd11db2e72d663e4f2603ccebd5
-SHA1 (patch-src_Idris_Package.idr) = 0af0a15e35b67a41482d349a3f38e4e5de39caa2
-SHA1 (patch-src_Idris_SetOptions.idr) = 491cd71c928cbe562c190044feddc31f43d84e1b
-SHA1 (patch-support_c_Makefile) = 27b22b6fb07f151dd35cd62a92e557cf6a747830
-SHA1 (patch-support_chez_Makefile) = 95e2f15bdffcea28d8974e9e88467c6ed82be980
-SHA1 (patch-support_refc_Makefile) = c1571f21c3dad42ece0bd64a02ca32c7e64e6328
+BLAKE2s (idris2-0.7.0.tar.gz) = c712b388684f4bd5b96d223ee93e56d3faea52f7c3dc73aa3247f169dd99c024
+SHA512 (idris2-0.7.0.tar.gz) = 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
+Size (idris2-0.7.0.tar.gz) = 6987849 bytes
+SHA1 (patch-src_Idris_SetOptions.idr) = 0a7c153290d39c07ac83406e9e8b1d9c0072366d
Home |
Main Index |
Thread Index |
Old Index