Authentication-Results: name.execsw.org; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=d0dg0BQx; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=mPpJusEJ Received: by mail.netbsd.org (Postfix, from userid 605) id CC82E84D65; Fri, 3 May 2024 06:47:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714718845; bh=ty8NrGInunCzQCK4h8av6wzLqqPFILjUKeD6xFnfKfQ=; h=Date:From:Subject:To:Reply-To:List-Id:List-Unsubscribe; b=d0dg0BQxEnovlJxxZZwyULQmM45mP9/zv5TVzG0bEybcdqSkJf4wzvuxfrQ4u/Ckq VcpyJQK+7GLo5I9NiDB1Km7z7DpFpv8Gv1LxBeB6Pmj1kJpV1uOHmHdetoEPc9BVal Oy4O9LaHdc0DvsTbJ0NcgbllVlg6A66SkAX8OcxI= Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id BD3F184CD9 for ; Fri, 3 May 2024 06:47:23 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Authentication-Results: mail.netbsd.org (amavisd-new); dkim=pass (1024-bit key) header.d=netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id M3C85TapYvBp for ; Fri, 3 May 2024 06:47:20 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 2E1ED84CCF for ; Fri, 3 May 2024 06:47:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714718840; bh=ty8NrGInunCzQCK4h8av6wzLqqPFILjUKeD6xFnfKfQ=; h=Date:From:Subject:To:Reply-To; b=mPpJusEJNi1J0OnHnEGluI2L/T8MRH/9W/lj7SIOYLwqezg1Acx6mSnXj2T7Kd9nG uHpnUtlYLO0NW6VI1MlThDU16CvlZBmMfko0N/YCG/W6bC0FFPgBPkgsPnZC0mo2KD ZdKELRUSjmA8MIJ7BMfropManqUz1NPB8AUxyL/E= Received: by cvs.NetBSD.org (Postfix, from userid 500) id 2692EFA2C; Fri, 3 May 2024 06:47:20 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1714718840229240" MIME-Version: 1.0 Date: Fri, 3 May 2024 06:47:20 +0000 From: "Masatake Daimon" Subject: CVS commit: pkgsrc/lang/idris2 To: pkgsrc-changes@NetBSD.org Reply-To: pho@netbsd.org X-Mailer: log_accum Message-Id: <20240503064720.2692EFA2C@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1714718840229240 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_1714718840229240 Content-Disposition: inline Content-Length: 104057 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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 -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 --_----------=_1714718840229240--