aboutsummaryrefslogtreecommitdiff
path: root/lang
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2024-01-02 16:50:57 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2024-01-02 16:52:29 +0000
commit9e5b4b3076222dec60511e2db1df58bbfb49e094 (patch)
tree10da9acd5e01dc89d39d223794b5916cc6e7e1d6 /lang
parent644364accff668411503878749085ecb06c702f7 (diff)
downloadports-9e5b4b3076222dec60511e2db1df58bbfb49e094.tar.gz
ports-9e5b4b3076222dec60511e2db1df58bbfb49e094.zip
lang/hs-koka: New port: Koka: strongly typed functional-style language with effect inference
Diffstat (limited to 'lang')
-rw-r--r--lang/Makefile1
-rw-r--r--lang/hs-koka/Makefile134
-rw-r--r--lang/hs-koka/distinfo333
-rw-r--r--lang/hs-koka/pkg-descr7
-rw-r--r--lang/hs-koka/pkg-plist726
5 files changed, 1201 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile
index 4c4ee7c858d6..2bb361d09479 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -134,6 +134,7 @@
SUBDIR += hla
SUBDIR += hs-brainfuck
SUBDIR += hs-futhark
+ SUBDIR += hs-koka
SUBDIR += hs-unlambda
SUBDIR += huc
SUBDIR += icc
diff --git a/lang/hs-koka/Makefile b/lang/hs-koka/Makefile
new file mode 100644
index 000000000000..60202da1647c
--- /dev/null
+++ b/lang/hs-koka/Makefile
@@ -0,0 +1,134 @@
+PORTNAME= koka
+DISTVERSIONPREFIX= v
+DISTVERSION= 2.6.0
+CATEGORIES= lang haskell
+
+MAINTAINER= yuri@FreeBSD.org
+COMMENT= Koka: strongly typed functional-style language with effect inference
+WWW= https://koka-lang.github.io/koka/doc/index.html
+
+LICENSE= APACHE20
+LICENSE_FILE= ${WRKSRC}/LICENSE
+
+USES= cabal
+
+USE_GITHUB= yes
+GH_ACCOUNT= koka-lang
+GH_TUPLE= microsoft:mimalloc:10efe29:mimalloc/kklib/mimalloc
+
+CABAL_FLAGS= -relocatable
+
+USE_CABAL= Diff-0.5_1 \
+ OneTuple-0.4.1.1_1 \
+ QuickCheck-2.14.3 \
+ StateVar-1.2.2 \
+ adjunctions-4.4.2_2 \
+ aeson-2.2.1.0_1 \
+ alex-3.5.0.0 \
+ assoc-1.1_1 \
+ async-2.2.5 \
+ attoparsec-0.14.4_5 \
+ base-compat-0.13.1 \
+ base-compat-batteries-0.13.1 \
+ base-orphans-0.9.1 \
+ basement-0.0.16 \
+ bifunctors-5.6.1_2 \
+ boring-0.2.1_1 \
+ call-stack-0.4.0 \
+ cereal-0.5.8.3 \
+ co-log-core-0.3.2.1 \
+ comonad-5.0.8_2 \
+ constraints-0.14 \
+ contravariant-1.5.5 \
+ cryptohash-md5-0.11.101.0_3 \
+ cryptohash-sha1-0.11.101.0_3 \
+ data-default-0.7.1.1 \
+ data-default-class-0.1.2.0 \
+ data-default-instances-containers-0.0.1 \
+ data-default-instances-dlist-0.0.1 \
+ data-default-instances-old-locale-0.0.1 \
+ data-fix-0.3.2_5 \
+ distributive-0.6.2.1_1 \
+ dlist-1.0_1 \
+ entropy-0.4.1.10_1 \
+ file-embed-0.0.15.0 \
+ foldable1-classes-compat-0.1_4 \
+ free-5.2_3 \
+ generic-lens-2.2.2.0_1 \
+ generic-lens-core-2.2.1.0_2 \
+ generically-0.1.1_2 \
+ hashable-1.4.3.0_1 \
+ hsc2hs-0.68.10_1 \
+ indexed-profunctors-0.1.1.1 \
+ indexed-traversable-0.1.3 \
+ indexed-traversable-instances-0.1.1.2_2 \
+ integer-conversion-0.1.0.1_1 \
+ integer-logarithms-1.0.3.1_5 \
+ invariant-0.6.2_1 \
+ isocline-1.0.9 \
+ kan-extensions-5.2.5_2 \
+ lens-5.2.3_2 \
+ lens-aeson-1.2.3_2 \
+ lsp-2.3.0.0_1 \
+ lsp-types-2.1.0.0 \
+ mod-0.2.0.1 \
+ network-3.1.4.0_1 \
+ network-bsd-2.8.1.0_5 \
+ network-info-0.2.1 \
+ network-simple-0.4.5 \
+ network-uri-2.6.4.2_1 \
+ old-locale-1.0.0.7_2 \
+ parallel-3.2.2.0_7 \
+ prettyprinter-1.7.1 \
+ primitive-0.9.0.0 \
+ profunctors-5.6.2_3 \
+ random-1.2.1.1_1 \
+ reflection-2.1.7_1 \
+ regex-1.1.0.2 \
+ regex-base-0.94.0.2_4 \
+ regex-pcre-builtin-0.95.2.3.8.44_6 \
+ regex-tdfa-1.3.2.2_2 \
+ row-types-1.0.1.2_1 \
+ safe-0.3.19 \
+ safe-exceptions-0.1.7.4_1 \
+ scientific-0.3.7.0_7 \
+ semialign-1.3_1 \
+ semigroupoids-6.0.0.1_1 \
+ semigroups-0.20 \
+ semirings-0.6_1 \
+ socks-0.6.1 \
+ some-1.0.6 \
+ sorted-list-0.2.2.0 \
+ splitmix-0.1.0.5 \
+ strict-0.5_1 \
+ tagged-0.8.8 \
+ text-iso8601-0.1_1 \
+ text-rope-0.2 \
+ text-short-0.1.5_3 \
+ th-abstraction-0.6.0.0_1 \
+ th-compat-0.1.4_3 \
+ these-1.2_1 \
+ time-compat-1.9.6.1_6 \
+ time-locale-compat-0.1.1.5 \
+ transformers-base-0.4.6 \
+ transformers-compat-0.7.2 \
+ type-equality-1_6 \
+ unliftio-core-0.2.1.0_3 \
+ unordered-containers-0.2.19.1_3 \
+ utf8-string-1.0.2 \
+ uuid-1.3.15_3 \
+ uuid-types-1.0.5.1 \
+ vector-0.13.1.0 \
+ vector-stream-0.1.0.0_3 \
+ void-0.7.3 \
+ witherable-0.4.2_4
+
+CABAL_EXECUTABLES= ${PORTNAME}
+CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
+
+post-install:
+ cd ${WRKSRC} && \
+ ${COPYTREE_SHARE} lib ${STAGEDIR}${PREFIX}/libexec/cabal/share/koka/${DISTVERSIONFULL} && \
+ ${COPYTREE_SHARE} kklib ${STAGEDIR}${PREFIX}/libexec/cabal/share/koka/${DISTVERSIONFULL}
+
+.include <bsd.port.mk>
diff --git a/lang/hs-koka/distinfo b/lang/hs-koka/distinfo
new file mode 100644
index 000000000000..dbdea7bf1e23
--- /dev/null
+++ b/lang/hs-koka/distinfo
@@ -0,0 +1,333 @@
+TIMESTAMP = 1704185035
+SHA256 (cabal/Diff-0.5/Diff-0.5.tar.gz) = 03cc84dedfb18fa693f0b0b7054d65e92c388d0657cf45ad5e9fbe3fe8b54551
+SIZE (cabal/Diff-0.5/Diff-0.5.tar.gz) = 9122
+SHA256 (cabal/Diff-0.5/revision/1.cabal) = 9c8a972eead9e079b90c6581fa8ef5755662c10dd075951b32b801145704afbb
+SIZE (cabal/Diff-0.5/revision/1.cabal) = 1814
+SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b
+SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601
+SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
+SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575
+SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501
+SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849
+SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
+SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
+SHA256 (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 147b5f8db810bca0ea8952ef974982ffc447cecd21f01e1ea1121df77e276518
+SIZE (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 17201
+SHA256 (cabal/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d
+SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379
+SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f
+SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
+SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
+SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
+SHA256 (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = caed9f23b4bc1cdd6f8083b79a0bb86ba86ed81ab9a1238fe0e13ed544809fed
+SIZE (cabal/alex-3.5.0.0/alex-3.5.0.0.tar.gz) = 85601
+SHA256 (cabal/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
+SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
+SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
+SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617
+SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
+SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
+SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c
+SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701
+SHA256 (cabal/attoparsec-0.14.4/revision/5.cabal) = ec709539b881d6431620bd7c40fbfa680aaf4a98c6f35b51536d8f455682b1ae
+SIZE (cabal/attoparsec-0.14.4/revision/5.cabal) = 5703
+SHA256 (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421
+SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518
+SHA256 (cabal/base-compat-batteries-0.13.1/base-compat-batteries-0.13.1.tar.gz) = 3e525b51a1db32a0d5d826ee3000e8436aa142505f24467737b9519545a7a802
+SIZE (cabal/base-compat-batteries-0.13.1/base-compat-batteries-0.13.1.tar.gz) = 19158
+SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172
+SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418
+SHA256 (cabal/basement-0.0.16/basement-0.0.16.tar.gz) = 7fb77e249aef76ba5aed3059d556800ce02b614597c488ba01f0a16449146300
+SIZE (cabal/basement-0.0.16/basement-0.0.16.tar.gz) = 134837
+SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc
+SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170
+SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755
+SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
+SHA256 (cabal/boring-0.2.1/boring-0.2.1.tar.gz) = b1ffddf0f9d50ac8742aa01b270856d57937cc8f7aae783e3b5f3abee7aa3154
+SIZE (cabal/boring-0.2.1/boring-0.2.1.tar.gz) = 5668
+SHA256 (cabal/boring-0.2.1/revision/1.cabal) = 9e2566d93e8db00ea7c428bf6a4052f8479ef6b6a86294d65c6086d45a842e4b
+SIZE (cabal/boring-0.2.1/revision/1.cabal) = 2123
+SHA256 (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 430bcf8a3404f7e55319573c0b807b1356946f0c8f289bb3d9afb279c636b87b
+SIZE (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 2757
+SHA256 (cabal/cereal-0.5.8.3/cereal-0.5.8.3.tar.gz) = 99905220661b26e5bd91130bd9772554938608a5b1d717240a6eb331121e0f6a
+SIZE (cabal/cereal-0.5.8.3/cereal-0.5.8.3.tar.gz) = 20166
+SHA256 (cabal/co-log-core-0.3.2.1/co-log-core-0.3.2.1.tar.gz) = 7e12a8e02a02c0e2c13e8def101ee8243c6c033392cd3031b63fe5db5168ff87
+SIZE (cabal/co-log-core-0.3.2.1/co-log-core-0.3.2.1.tar.gz) = 18541
+SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
+SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
+SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
+SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
+SHA256 (cabal/constraints-0.14/constraints-0.14.tar.gz) = b809322abced0f6b6bf4ceed9e4e823bfdeda808664563b860add1dff3cdc4a5
+SIZE (cabal/constraints-0.14/constraints-0.14.tar.gz) = 20946
+SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa
+SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815
+SHA256 (cabal/cryptohash-md5-0.11.101.0/cryptohash-md5-0.11.101.0.tar.gz) = 3b08db0ae39df2b44e83053ad30d7546a4c6200a852c22a240a7e03ae1080f05
+SIZE (cabal/cryptohash-md5-0.11.101.0/cryptohash-md5-0.11.101.0.tar.gz) = 11872
+SHA256 (cabal/cryptohash-md5-0.11.101.0/revision/3.cabal) = 71a6e856a4ce0b844a27eb4ba58e214e4263ffbde9c8f406eed3f9a43ad8efec
+SIZE (cabal/cryptohash-md5-0.11.101.0/revision/3.cabal) = 3080
+SHA256 (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4042c97ad02eb68e766577ca35c01970c33e96cfd74ccb4dd403e3476a23241
+SIZE (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = 11563
+SHA256 (cabal/cryptohash-sha1-0.11.101.0/revision/3.cabal) = bc5d3373ed5bbfd34b9deea62dc3b2ba21dde5b89e41d2a2399de7562543c621
+SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/3.cabal) = 3064
+SHA256 (cabal/data-default-0.7.1.1/data-default-0.7.1.1.tar.gz) = b0f95d279cd75cacaa8152a01590dc3460f7134f6840b37052abb3ba3cb2a511
+SIZE (cabal/data-default-0.7.1.1/data-default-0.7.1.1.tar.gz) = 1627
+SHA256 (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 4f01b423f000c3e069aaf52a348564a6536797f31498bb85c3db4bd2d0973e56
+SIZE (cabal/data-default-class-0.1.2.0/data-default-class-0.1.2.0.tar.gz) = 2522
+SHA256 (cabal/data-default-instances-containers-0.0.1/data-default-instances-containers-0.0.1.tar.gz) = a55e07af005c9815d82f3fc95e125db82994377c9f4a769428878701d4ec081a
+SIZE (cabal/data-default-instances-containers-0.0.1/data-default-instances-containers-0.0.1.tar.gz) = 1659
+SHA256 (cabal/data-default-instances-dlist-0.0.1/data-default-instances-dlist-0.0.1.tar.gz) = 7d683711cbf08abd7adcd5ac2be825381308d220397315a5570fe61b719b5959
+SIZE (cabal/data-default-instances-dlist-0.0.1/data-default-instances-dlist-0.0.1.tar.gz) = 1503
+SHA256 (cabal/data-default-instances-old-locale-0.0.1/data-default-instances-old-locale-0.0.1.tar.gz) = 60d3b02922958c4908d7bf2b24ddf61511665745f784227d206745784b0c0802
+SIZE (cabal/data-default-instances-old-locale-0.0.1/data-default-instances-old-locale-0.0.1.tar.gz) = 1519
+SHA256 (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc
+SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842
+SHA256 (cabal/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1
+SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734
+SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
+SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140
+SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
+SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
+SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
+SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
+SHA256 (cabal/dlist-1.0/revision/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568
+SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812
+SHA256 (cabal/entropy-0.4.1.10/entropy-0.4.1.10.tar.gz) = 85ac1d53f1d1c095aedd23fdb20c8e3ada04a7fd8aa6d7e6445ae6a59a277de5
+SIZE (cabal/entropy-0.4.1.10/entropy-0.4.1.10.tar.gz) = 9060
+SHA256 (cabal/entropy-0.4.1.10/revision/1.cabal) = 82bd7b600fb8df540dd292ed91dc781f4523eecef3bb588b14787b4851722cb1
+SIZE (cabal/entropy-0.4.1.10/revision/1.cabal) = 2952
+SHA256 (cabal/file-embed-0.0.15.0/file-embed-0.0.15.0.tar.gz) = f066b85d537a20252faa59489f6a854e4e8f39080f08730c9e195e418cec5bdd
+SIZE (cabal/file-embed-0.0.15.0/file-embed-0.0.15.0.tar.gz) = 7119
+SHA256 (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = d057c3f358e1a6b72c73519bc64ba6aa959f066c08fed69f73258555ef95ff12
+SIZE (cabal/foldable1-classes-compat-0.1/foldable1-classes-compat-0.1.tar.gz) = 10484
+SHA256 (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = fb4b3cedd33d5c22c573c39baa930c78eaa4feb22d43abb680c3149f8ab9fa4e
+SIZE (cabal/foldable1-classes-compat-0.1/revision/4.cabal) = 3782
+SHA256 (cabal/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89
+SIZE (cabal/free-5.2/free-5.2.tar.gz) = 58781
+SHA256 (cabal/free-5.2/revision/3.cabal) = 4dd76c1a19f81d7866e7b75682350f1ef3e0441b19b4d07eccdd9ef326a0be70
+SIZE (cabal/free-5.2/revision/3.cabal) = 4176
+SHA256 (cabal/generic-lens-2.2.2.0/generic-lens-2.2.2.0.tar.gz) = 868dc9c8cd02150b419859c3c8a53a62e5b41f5f3fd5d46bb355eb1074288b68
+SIZE (cabal/generic-lens-2.2.2.0/generic-lens-2.2.2.0.tar.gz) = 21357
+SHA256 (cabal/generic-lens-2.2.2.0/revision/1.cabal) = 89dcd1dc551c823b7c3692890595d1f17011bfe82ac6175803db149811416945
+SIZE (cabal/generic-lens-2.2.2.0/revision/1.cabal) = 3936
+SHA256 (cabal/generic-lens-core-2.2.1.0/generic-lens-core-2.2.1.0.tar.gz) = 8ee6f17baa52db80763a46814be391418441861b2e519bed8c047db37c622422
+SIZE (cabal/generic-lens-core-2.2.1.0/generic-lens-core-2.2.1.0.tar.gz) = 21436
+SHA256 (cabal/generic-lens-core-2.2.1.0/revision/2.cabal) = 0d2ff39f7dc8d45901cbba584c9e400d0b7dcc1a306f46dcb13bb28420a81b09
+SIZE (cabal/generic-lens-core-2.2.1.0/revision/2.cabal) = 3013
+SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf
+SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870
+SHA256 (cabal/generically-0.1.1/revision/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
+SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169
+SHA256 (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5
+SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
+SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
+SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
+SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
+SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
+SHA256 (cabal/hsc2hs-0.68.10/revision/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d
+SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013
+SHA256 (cabal/indexed-profunctors-0.1.1.1/indexed-profunctors-0.1.1.1.tar.gz) = 2e69bb2900bb7e562efffff7bcf3f72daf79f013232ce603263a57595412c398
+SIZE (cabal/indexed-profunctors-0.1.1.1/indexed-profunctors-0.1.1.1.tar.gz) = 6477
+SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
+SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
+SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769
+SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b
+SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550
+SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39
+SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166
+SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14
+SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250
+SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f
+SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023
+SHA256 (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d
+SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278
+SHA256 (cabal/invariant-0.6.2/invariant-0.6.2.tar.gz) = c36485e8088a57e9df1a93881211a1c09e8920ce1b14bfa141cac9f75b7ee108
+SIZE (cabal/invariant-0.6.2/invariant-0.6.2.tar.gz) = 28199
+SHA256 (cabal/invariant-0.6.2/revision/1.cabal) = 4338158fe36c3ff9ee741eeff79cb886222cab9da3f476071956cb01b0d9bbff
+SIZE (cabal/invariant-0.6.2/revision/1.cabal) = 3617
+SHA256 (cabal/isocline-1.0.9/isocline-1.0.9.tar.gz) = 9090c69e8082cda45214e41e8205bce671a6c04b78ac412b7bacffadafe75468
+SIZE (cabal/isocline-1.0.9/isocline-1.0.9.tar.gz) = 101834
+SHA256 (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22
+SIZE (cabal/kan-extensions-5.2.5/kan-extensions-5.2.5.tar.gz) = 22205
+SHA256 (cabal/kan-extensions-5.2.5/revision/2.cabal) = fbdba767565f40faf515b044a774cc3b371eb6ce8a082d9f659411cea88698cf
+SIZE (cabal/kan-extensions-5.2.5/revision/2.cabal) = 3066
+SHA256 (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = df1e8ca8dd89d884994e0c80761a972088326fa43ed5d47c01b14abb710b994d
+SIZE (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = 703220
+SHA256 (cabal/lens-5.2.3/revision/2.cabal) = 637287c76adff383063b3206a4213640de1a74839ec16008cc71b5b407f7d05e
+SIZE (cabal/lens-5.2.3/revision/2.cabal) = 15237
+SHA256 (cabal/lens-aeson-1.2.3/lens-aeson-1.2.3.tar.gz) = 7bbc6affe248c84dfda13576636ecb52e575ee0e796d8c29a76a28c3ad424c01
+SIZE (cabal/lens-aeson-1.2.3/lens-aeson-1.2.3.tar.gz) = 8273
+SHA256 (cabal/lens-aeson-1.2.3/revision/2.cabal) = 5a733b4b5ac8e17d1e89704441597e9eb6e01e54ba86e5ecfbeaced9b28c82d7
+SIZE (cabal/lens-aeson-1.2.3/revision/2.cabal) = 1691
+SHA256 (cabal/lsp-2.3.0.0/lsp-2.3.0.0.tar.gz) = e29866bea5c2482a1ec42a7c948d504685362f1ee1393c4336d7dbed2ae4bb4b
+SIZE (cabal/lsp-2.3.0.0/lsp-2.3.0.0.tar.gz) = 40683
+SHA256 (cabal/lsp-2.3.0.0/revision/1.cabal) = b21f38d07a75db14fd72fd944238c76fc9fe40b8b11aee8940db520342475d96
+SIZE (cabal/lsp-2.3.0.0/revision/1.cabal) = 3686
+SHA256 (cabal/lsp-types-2.1.0.0/lsp-types-2.1.0.0.tar.gz) = 3c3aa3c6f5418e8cebed767f271277abb24d263bd80d5e7381cb3077dc7e9e44
+SIZE (cabal/lsp-types-2.1.0.0/lsp-types-2.1.0.0.tar.gz) = 219619
+SHA256 (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 2a63f8e4e88545093cd57df02911906554e77704df3ee5c7a12044e48630e872
+SIZE (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 16279
+SHA256 (cabal/network-3.1.4.0/network-3.1.4.0.tar.gz) = b452a2afac95d9207357eb3820c719c7c7d27871ef4b6ed7bfcd03a036b9158e
+SIZE (cabal/network-3.1.4.0/network-3.1.4.0.tar.gz) = 139988
+SHA256 (cabal/network-3.1.4.0/revision/1.cabal) = e152cdb03243afb52bbc740cfbe96905ca298a6f6342f0c47b3f2e227ff19def
+SIZE (cabal/network-3.1.4.0/revision/1.cabal) = 5208
+SHA256 (cabal/network-bsd-2.8.1.0/network-bsd-2.8.1.0.tar.gz) = d94961ca15c42c798d19cde540ec12b25cc43435fb95e682399d6c1a02022d4e
+SIZE (cabal/network-bsd-2.8.1.0/network-bsd-2.8.1.0.tar.gz) = 8584
+SHA256 (cabal/network-bsd-2.8.1.0/revision/5.cabal) = e27df73ab03bb3b0d649d229c74deea0204635689422ff684af0571f3eb94802
+SIZE (cabal/network-bsd-2.8.1.0/revision/5.cabal) = 3681
+SHA256 (cabal/network-info-0.2.1/network-info-0.2.1.tar.gz) = 9b2d88312fc8280351d5003200cc07decbb865f85d3aa7b1094b238bd6a8b404
+SIZE (cabal/network-info-0.2.1/network-info-0.2.1.tar.gz) = 6387
+SHA256 (cabal/network-simple-0.4.5/network-simple-0.4.5.tar.gz) = 07a0bf25972a5fb42ab68f71db00b2758c6b15f09f73b1324550749d397b179e
+SIZE (cabal/network-simple-0.4.5/network-simple-0.4.5.tar.gz) = 10191
+SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228
+SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
+SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
+SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
+SHA256 (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = dbaf8bf6b888fb98845705079296a23c3f40ee2f449df7312f7f7f1de18d7b50
+SIZE (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = 3384
+SHA256 (cabal/old-locale-1.0.0.7/revision/2.cabal) = fa998be2c7e00cd26a6e9075bea790caaf3932caa3e9497ad69bc20380dd6911
+SIZE (cabal/old-locale-1.0.0.7/revision/2.cabal) = 1071
+SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6
+SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681
+SHA256 (cabal/parallel-3.2.2.0/revision/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4
+SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926
+SHA256 (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 5e6ea6903114fa118fcc359633dfb7ecddecb92c06c853d02a77b72b251f0b45
+SIZE (cabal/prettyprinter-1.7.1/prettyprinter-1.7.1.tar.gz) = 56907
+SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7
+SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580
+SHA256 (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bccdab1d982d2ae342897fd38140d5a94b5ef3800d8c92a
+SIZE (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 28522
+SHA256 (cabal/profunctors-5.6.2/revision/3.cabal) = e178ba4468982326656626e2089e296f64485e68fdddc9f4476dcd5d612b4f78
+SIZE (cabal/profunctors-5.6.2/revision/3.cabal) = 2484
+SHA256 (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 3e1272f7ed6a4d7bd1712b90143ec326fee9b225789222379fea20a9c90c9b76
+SIZE (cabal/random-1.2.1.1/random-1.2.1.1.tar.gz) = 47109
+SHA256 (cabal/random-1.2.1.1/revision/1.cabal) = e7c1f881159d5cc788619c9ee8b8f340ba2ff0db571cdf3d1a1968ebc5108789
+SIZE (cabal/random-1.2.1.1/revision/1.cabal) = 6777
+SHA256 (cabal/reflection-2.1.7/reflection-2.1.7.tar.gz) = 6cbb18a8b02871533bb8b641dc6f76813a097d94404e5808bb5d52b0f0e415fd
+SIZE (cabal/reflection-2.1.7/reflection-2.1.7.tar.gz) = 17823
+SHA256 (cabal/reflection-2.1.7/revision/1.cabal) = f2b5b3f0983a605d16e53af489ebba62967d2c80353473ca66cc1734222b3a04
+SIZE (cabal/reflection-2.1.7/revision/1.cabal) = 4518
+SHA256 (cabal/regex-1.1.0.2/regex-1.1.0.2.tar.gz) = 8a0404896452272d18bd9db078bd7d982b6268aa5bcf0d6fe5aa5256f174fedb
+SIZE (cabal/regex-1.1.0.2/regex-1.1.0.2.tar.gz) = 46122
+SHA256 (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
+SIZE (cabal/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 10488
+SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608efa60d27b14d1c9d476451dbcb9181363bd8b27
+SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601
+SHA256 (cabal/regex-pcre-builtin-0.95.2.3.8.44/regex-pcre-builtin-0.95.2.3.8.44.tar.gz) = cacea6a45faf93df8afbf50ecb09f87acabfed0477cba4746205649eb52ec55e
+SIZE (cabal/regex-pcre-builtin-0.95.2.3.8.44/regex-pcre-builtin-0.95.2.3.8.44.tar.gz) = 328652
+SHA256 (cabal/regex-pcre-builtin-0.95.2.3.8.44/revision/6.cabal) = 12017f86802a3364b6eb58da277f9ba3aedb9e08d3af7a4e682b63ec1331c3e6
+SIZE (cabal/regex-pcre-builtin-0.95.2.3.8.44/revision/6.cabal) = 3445
+SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7
+SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016
+SHA256 (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98
+SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997
+SHA256 (cabal/row-types-1.0.1.2/row-types-1.0.1.2.tar.gz) = 0ea98606fe49d69311800ae29200162dd2dd915088da197b8b9a9fe818b46e17
+SIZE (cabal/row-types-1.0.1.2/row-types-1.0.1.2.tar.gz) = 38019
+SHA256 (cabal/row-types-1.0.1.2/revision/1.cabal) = 4d4c7cb95d06a32b28ba977852d52a26b4c1f695ef083a6fd874ab6d79933b64
+SIZE (cabal/row-types-1.0.1.2/revision/1.cabal) = 3071
+SHA256 (cabal/safe-0.3.19/safe-0.3.19.tar.gz) = 25043442c8f8aa95955bb17467d023630632b961aaa61e807e325d9b2c33f7a2
+SIZE (cabal/safe-0.3.19/safe-0.3.19.tar.gz) = 11267
+SHA256 (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 3c51d8d50c9b60ff8bf94f942fd92e3bea9e62c5afa778dfc9f707b79da41ef6
+SIZE (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 15347
+SHA256 (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 8bb7261bd54bd58acfcb154be6a161fb6d0d31a1852aadc8e927d2ad2d7651d1
+SIZE (cabal/safe-exceptions-0.1.7.4/revision/1.cabal) = 1412
+SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9
+SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723
+SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2
+SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869
+SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
+SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
+SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223
+SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888
+SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934
+SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222
+SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5
+SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465
+SHA256 (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1
+SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788
+SHA256 (cabal/semirings-0.6/semirings-0.6.tar.gz) = 99356619b137c7c4cf6597909be3c9df118f08a7dff4897549e350b95719059b
+SIZE (cabal/semirings-0.6/semirings-0.6.tar.gz) = 19640
+SHA256 (cabal/semirings-0.6/revision/1.cabal) = cc8767bc62b9ff7bbef070ac206b070b173a8612a781eff2d87a14a01cf406b0
+SIZE (cabal/semirings-0.6/revision/1.cabal) = 2668
+SHA256 (cabal/socks-0.6.1/socks-0.6.1.tar.gz) = 734447558bb061ce768f53a0df1f2401902c6bee396cc96ce627edd986ef6a73
+SIZE (cabal/socks-0.6.1/socks-0.6.1.tar.gz) = 9759
+SHA256 (cabal/some-1.0.6/some-1.0.6.tar.gz) = f7a606ad5df4a07459986364f7d739eb653495fbbe1d7158582fb29a4584bfb9
+SIZE (cabal/some-1.0.6/some-1.0.6.tar.gz) = 11394
+SHA256 (cabal/sorted-list-0.2.2.0/sorted-list-0.2.2.0.tar.gz) = 39e70f76a621bd23992e69b5140d76502eaa602e31d2c2f8493fcdda5d980f37
+SIZE (cabal/sorted-list-0.2.2.0/sorted-list-0.2.2.0.tar.gz) = 6645
+SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
+SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
+SHA256 (cabal/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
+SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
+SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d
+SIZE (cabal/strict-0.5/revision/1.cabal) = 4120
+SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7
+SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094
+SHA256 (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf
+SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578
+SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76
+SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407
+SHA256 (cabal/text-rope-0.2/text-rope-0.2.tar.gz) = b14422855e9cc375a31c22758454013ac629671331de6ccb77b496509bcae78b
+SIZE (cabal/text-rope-0.2/text-rope-0.2.tar.gz) = 37000
+SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda
+SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113
+SHA256 (cabal/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190
+SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216
+SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30
+SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152
+SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c
+SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303
+SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8
+SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838
+SHA256 (cabal/th-compat-0.1.4/revision/3.cabal) = 3e7d1b8f9c72cab04c8dfdfd26589dd7f31e015ad640a207aca3b654577532ff
+SIZE (cabal/th-compat-0.1.4/revision/3.cabal) = 3224
+SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
+SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
+SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e
+SIZE (cabal/these-1.2/revision/1.cabal) = 2882
+SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80
+SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964
+SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52
+SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076
+SHA256 (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 07ff1566de7d851423a843b2de385442319348c621d4f779b3d365ce91ac502c
+SIZE (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 1956
+SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
+SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
+SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
+SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
+SHA256 (cabal/type-equality-1/type-equality-1.tar.gz) = 4728b502a211454ef682a10d7a3e817c22d06ba509df114bb267ef9d43a08ce8
+SIZE (cabal/type-equality-1/type-equality-1.tar.gz) = 4525
+SHA256 (cabal/type-equality-1/revision/6.cabal) = ebf53eaf3881b946d4ab56112a19f8b635c0f19cb5252c08fbf2588bc1ea22a5
+SIZE (cabal/type-equality-1/revision/6.cabal) = 1639
+SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56d9d61b85e38a313a93ebcdb78be6566367f0930ef580597fe3e3
+SIZE (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 3865
+SHA256 (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 28800633b20e0f7bfbdda1248c28022749aa0935aea10b1e3fc9c88cbebb06de
+SIZE (cabal/unliftio-core-0.2.1.0/revision/3.cabal) = 1004
+SHA256 (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 1b27bec5e0d522b27a6029ebf4c4a6d40acbc083c787008e32fb55c4b1d128d2
+SIZE (cabal/unordered-containers-0.2.19.1/unordered-containers-0.2.19.1.tar.gz) = 58030
+SHA256 (cabal/unordered-containers-0.2.19.1/revision/3.cabal) = 1c28ca429e3960de0330908579a427ccacddd700cb84ec1969e2bbe576152add
+SIZE (cabal/unordered-containers-0.2.19.1/revision/3.cabal) = 3698
+SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
+SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
+SHA256 (cabal/uuid-1.3.15/uuid-1.3.15.tar.gz) = f885958d8934930b7c0f9b91f980722f7f992c9383fc98f075cf9df64c800564
+SIZE (cabal/uuid-1.3.15/uuid-1.3.15.tar.gz) = 8815
+SHA256 (cabal/uuid-1.3.15/revision/3.cabal) = 7d553f95a750502228fc8411a5ad7e672d9b95272e3a61e5c711f19a49143821
+SIZE (cabal/uuid-1.3.15/revision/3.cabal) = 2670
+SHA256 (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c
+SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965
+SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
+SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
+SHA256 (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = a888210f6467f155090653734be5cc920406a07227e0d3adb59096716fdb806c
+SIZE (cabal/vector-stream-0.1.0.0/vector-stream-0.1.0.0.tar.gz) = 12377
+SHA256 (cabal/vector-stream-0.1.0.0/revision/3.cabal) = 8977959d4bec54d9f2c5e9d4baa2cac7ab26e804a72591df8db887e0692ae8ae
+SIZE (cabal/vector-stream-0.1.0.0/revision/3.cabal) = 1404
+SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317
+SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741
+SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104
+SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
+SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8
+SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342
+SHA256 (cabal/koka-lang-koka-v2.6.0_GH0.tar.gz) = 70bc234a22196ab6defb2acd9040c6851c077a61467df8bd8e7d7c842f7177f8
+SIZE (cabal/koka-lang-koka-v2.6.0_GH0.tar.gz) = 3425273
+SHA256 (cabal/microsoft-mimalloc-10efe29_GH0.tar.gz) = 835d99cd483a6446e78ea6cca556cdaae89e7cca25f835edcbc4ce3d52301fa8
+SIZE (cabal/microsoft-mimalloc-10efe29_GH0.tar.gz) = 1168203
diff --git a/lang/hs-koka/pkg-descr b/lang/hs-koka/pkg-descr
new file mode 100644
index 000000000000..2d0f6bb3850e
--- /dev/null
+++ b/lang/hs-koka/pkg-descr
@@ -0,0 +1,7 @@
+Koka is a strongly typed functional-style language with effect types
+and handlers.
+
+Koka v2 is a research language that is currently under development and not ready
+for production use. Nevertheless, the language is stable and the compiler
+implements the full specification. The main things lacking at the moment are
+libraries, package management, and deep IDE integration.
diff --git a/lang/hs-koka/pkg-plist b/lang/hs-koka/pkg-plist
new file mode 100644
index 000000000000..c19c523d7b6c
--- /dev/null
+++ b/lang/hs-koka/pkg-plist
@@ -0,0 +1,726 @@
+libexec/cabal/share/koka/v2.6.0/kklib/CMakeLists.txt
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-effbayes.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-effbayes.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-effbayes.vcxproj.user
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-interactive.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-interactive.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-interactive.vcxproj.interactive
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test-interactive.vcxproj.user
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib-test.vcxproj.user
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib.natvis
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib.sln
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2019/kklib.vcxproj.user
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test-effbayes.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test-effbayes.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test-interactive.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test-interactive.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib-test.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib.natvis
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib.sln
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/ide/vs2022/kklib.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/atomic.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/bits.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/box.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/bytes.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/integer.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/maybe.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/os.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/platform.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/process.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/random.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/ref.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/string.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/thread.h
+libexec/cabal/share/koka/v2.6.0/kklib/include/kklib/vector.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/.gitattributes
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/.gitignore
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/CMakeLists.txt
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/LICENSE
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/azure-pipelines.yml
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/mimalloc-redirect.dll
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/mimalloc-redirect.lib
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/mimalloc-redirect32.dll
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/mimalloc-redirect32.lib
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/minject.exe
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/minject32.exe
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/bin/readme.md
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/cmake/JoinPaths.cmake
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/cmake/mimalloc-config-version.cmake
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/cmake/mimalloc-config.cmake
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-rss-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-c5-18xlarge-2020-01-20-rss-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-1.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-12xlarge-2020-01-16-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-12xlarge-2020-01-16-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-2.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-rss-1.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-r5a-rss-2.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-spec-rss.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-spec.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-z4-1.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-z4-2.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-z4-rss-1.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2020/bench-z4-rss-2.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-amd5950x-2021-01-30-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-amd5950x-2021-01-30-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-rss-a.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-c5-18xlarge-2021-01-30-rss-b.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/bench-2021/bench-macmini-2021-01-30.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/doxyfile
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/ds-logo.jpg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/ds-logo.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/mimalloc-doc.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/mimalloc-doxygen.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/mimalloc-logo-100.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/mimalloc-logo.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/mimalloc-logo.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/spades-logo.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/doc/unreal-logo.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/annotated.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/annotated_dup.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/bc_s.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/bdwn.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/bench.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/build.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/classes.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/closed.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/doc.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/doxygen.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/doxygen.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/dynsections.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/environment.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/folderclosed.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/folderopen.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/functions.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/functions_vars.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__aligned.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__aligned.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__analysis.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__analysis.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__analysis_structmi__heap__area__t.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__cpp.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__cpp.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__extended.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__extended.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__heap.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__heap.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__malloc.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__malloc.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__options.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__options.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__posix.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__posix.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__typed.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__typed.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__zeroinit.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/group__zeroinit.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/index.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/jquery.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/mimalloc-doc_8h_source.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/mimalloc-doxygen.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/mimalloc-logo.svg
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/modules.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/modules.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/nav_f.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/nav_g.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/nav_h.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/navtree.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/navtree.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/navtreedata.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/navtreeindex0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/open.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/overrides.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/pages.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/resize.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_2.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_2.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_3.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_3.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_4.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_4.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_5.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_5.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_6.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_6.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_7.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_7.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_8.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_8.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_9.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_9.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_a.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_a.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_b.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_b.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_c.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_c.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_d.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/all_d.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/classes_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/classes_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/close.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enums_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enums_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enumvalues_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enumvalues_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enumvalues_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/enumvalues_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/functions_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/functions_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/functions_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/functions_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_2.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_2.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_3.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_3.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_4.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_4.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_5.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_5.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_6.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_6.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_7.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_7.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_8.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/groups_8.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/mag_sel.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/nomatches.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_2.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_2.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_3.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_3.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_4.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/pages_4.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/search.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/search.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/search_l.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/search_m.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/search_r.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/searchdata.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_2.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/typedefs_2.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_0.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_0.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_1.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_1.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_2.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_2.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_3.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/search/variables_3.js
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/splitbar.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/sync_off.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/sync_on.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/tab_a.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/tab_b.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/tab_h.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/tab_s.png
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/tabs.css
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/docs/using.html
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-override-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-override-test.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-override.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-override.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-test-stress.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-test-stress.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc-test.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc.sln
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2017/mimalloc.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-override-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-override.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-override.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-test-api.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-test-stress.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc.sln
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2019/mimalloc.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-override-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-override.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-override.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-test-api.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-test-stress.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc-test.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc.sln
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc.vcxproj
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/ide/vs2022/mimalloc.vcxproj.filters
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc-new-delete.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc-override.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc/atomic.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc/internal.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc/prim.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc/track.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/include/mimalloc/types.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/mimalloc.pc.in
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/readme.md
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/alloc-aligned.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/alloc-override.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/alloc-posix.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/alloc.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/arena.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/bitmap.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/bitmap.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/heap.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/init.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/libc.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/options.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/os.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/page-queue.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/page.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/osx/alloc-override-zone.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/osx/prim.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/prim.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/readme.md
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/unix/prim.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/wasi/prim.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/windows/etw-mimalloc.wprp
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/windows/etw.h
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/windows/etw.man
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/windows/prim.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/prim/windows/readme.md
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/random.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/segment-map.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/segment.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/static.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/src/stats.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/CMakeLists.txt
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/main-override-static.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/main-override.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/main-override.cpp
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/main.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/readme.md
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/test-api-fill.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/test-api.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/test-stress.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/test-wrong.c
+libexec/cabal/share/koka/v2.6.0/kklib/mimalloc/test/testhelper.h
+libexec/cabal/share/koka/v2.6.0/kklib/src/all.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/bits.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/box.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/bytes.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/init.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/integer.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/os.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/process.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/random.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/ref.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/refcount.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/string.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/thread.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/time.c
+libexec/cabal/share/koka/v2.6.0/kklib/src/vector.c
+libexec/cabal/share/koka/v2.6.0/kklib/test/main.c
+libexec/cabal/share/koka/v2.6.0/kklib/test/time.c
+libexec/cabal/share/koka/v2.6.0/kklib/test/time.h
+libexec/cabal/share/koka/v2.6.0/lib/package.std.json
+libexec/cabal/share/koka/v2.6.0/lib/std/async/file.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/async/readline.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/core.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-console-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-inline.h
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-integer-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/core-string-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/hnd-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/core/hnd-inline.h
+libexec/cabal/share/koka/v2.6.0/lib/std/core/hnd-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/hnd.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/core/types-cctx-inline.h
+libexec/cabal/share/koka/v2.6.0/lib/std/core/types-cctx-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/core/types.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/array.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/dict.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/imap.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/iset.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/map.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/data/set.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/debug.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/ddouble.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/decimal.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/float64-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/num/float64-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/num/float64.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/int32-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/num/int32.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/int64-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/num/int64.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/num/random-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/num/random.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/dir-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/os/dir.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/env.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/file-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/os/file-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/os/file.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/flags.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/path-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/os/path-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/os/path.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/process-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/os/process.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/readline-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/os/readline-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/os/readline.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/os/task.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/text/parse.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/text/regex-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/text/regex-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/text/regex-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/text/regex.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/text/unicode-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/text/unicode-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/text/unicode.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/astro.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/calendar-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/time/calendar-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/time/calendar-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/time/calendar.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/calendars.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/chrono-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/time/chrono-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/time/chrono-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/time/chrono.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/date.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/download.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/duration.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/format.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/instant.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/locale.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/parse.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/time.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timer-inline.c
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timer-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timer-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timer.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timescales.png
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timestamp.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timezone-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/std/time/timezone.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/ut1.kk
+libexec/cabal/share/koka/v2.6.0/lib/std/time/utc.kk
+libexec/cabal/share/koka/v2.6.0/lib/toc.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/chatbot.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/collatz.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/dom/conway.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/dom/flyingDivs.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/dom/microsoftLogo.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/dom/starfield.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/dom/tile.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/fib.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/garsiaWachs.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/node/chatMoebius.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/node/chatRpc.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/demo/nqueens.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/async-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/async-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/async.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/crypto-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/crypto-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/crypto.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/data/array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/data/dict-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/data/dict.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/log.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/net/http-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/net/http.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/file-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/file-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/file.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/readline-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/readline-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/os/readline.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/anonXmlHttpRequest.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/attr.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/booleanArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/byteArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/caretPosition.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/characterData.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/comment.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/counter.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/css2Properties.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssCharsetRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssColorComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssFontFaceRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssIdentifierComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssImportRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssKeywordComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssLengthComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssMapValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssMediaRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssNamespaceRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssPageRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssPercentageComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssPrimitiveValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssPropertyValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssPropertyValueList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssStringComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssStyleDeclaration.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssStyleDeclarationValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssStyleRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssStyleSheet.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssUnknownRule.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssUrlComponentValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssValue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/cssValueList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/documentCss.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/domImplementationCss.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/elementCssInlineStyle.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/rect.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/css/rgbColor.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/document.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/documentFragment.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/documentType.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domElementMap.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domException.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domImplementation.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domSettableTokenList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domStringList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domStringMap.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/domTokenList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/doubleArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/element.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/compositionEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/customEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/customEventInit.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/event.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/eventException.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/eventInit.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/eventListener.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/eventTarget.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/focusEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/keyboardEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/mouseEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/mutationEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/mutationNameEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/progressEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/textEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/uiEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/events/wheelEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/eventsource/eventSource.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/blob.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/file.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileError.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileException.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileReader.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/file/fileReaderSync.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/floatArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/formData.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/applicationCache.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/audioTrack.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/audioTrackList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/barProp.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/beforeUnloadEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/blobCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/canvasGradient.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/canvasPattern.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/canvasPixelArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/canvasRenderingContext2d.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/dataTransfer.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/dataTransferItem.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/dataTransferItemList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/dragEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/external_.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/function.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/functionStringCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/hashChangeEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/history.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlAllCollection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlAnchorElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlAppletElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlAreaElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlAudioElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlBaseElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlBaseFontElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlBodyElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlBrElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlButtonElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlCanvasElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlCollection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlCommandElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDListElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDataListElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDetailsElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDirectoryElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDivElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlDocument.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlEmbedElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFieldSetElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFontElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFormControlsCollection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFormElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFrameElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlFrameSetElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlHeadElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlHeadingElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlHrElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlHtmlElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlIframeElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlImageElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlInputElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlKeygenElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlLabelElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlLegendElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlLiElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlLinkElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMapElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMarqueeElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMediaElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMenuElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMetaElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlMeterElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlModElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlOListElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlObjectElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlOptGroupElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlOptionElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlOptionsCollection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlOutputElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlParagraphElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlParamElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlPreElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlProgressElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlPropertiesCollection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlQuoteElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlScriptElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlSelectElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlSourceElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlSpanElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlStyleElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableCaptionElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableCellElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableColElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableDataCellElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableHeaderCellElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableRowElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTableSectionElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTextAreaElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTimeElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTitleElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlTrackElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlUListElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlUnknownElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/htmlVideoElement.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/imageData.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/localMediaStream.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/location.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaController.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaError.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaQueryList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaQueryListListener.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaStream.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mediaStreamRecorder.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/messageChannel.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/messageEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/messagePort.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/mutableTextTrack.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/navigator.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/navigatorUserMediaError.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/navigatorUserMediaErrorCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/navigatorUserMediaSuccessCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/pageTransitionEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/peerConnection.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/popStateEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/propertyNodeList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/radioNodeList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/screen.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/signalingCallback.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/streamEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/streamTrack.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/textMetrics.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/textTrack.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/textTrackCue.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/textTrackCueList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/timeRanges.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/transferable.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/undoManager.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/undoManagerEvent.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/validityState.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/videoTrack.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/videoTrackList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/window.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/html/windowModal.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/longArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/longLongArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/node.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/nodeList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/octetArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/processingInstruction.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/ranges/documentRange.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/ranges/range.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/ranges/rangeException.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/shortArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/stylesheets/linkStyle.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/stylesheets/mediaList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/stylesheets/styleSheet.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/text.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/traversal/documentTraversal.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/traversal/nodeFilter.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/traversal/nodeIterator.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/traversal/treeWalker.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/arrayBuffer.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/arrayBufferView.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/dataView.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/float32Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/float64Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/int16Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/int32Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/int8Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/uint16Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/uint32Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/typedarray/uint8Array.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/types.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/unsignedByteArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/unsignedLongArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/unsignedLongLongArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/unsignedShortArray.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/views/clientRect.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/views/clientRectList.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/xmlHttpRequest.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/xmlHttpRequestEventTarget.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/dom/xmlHttpRequestUpload.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/node/tiersplit-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/sys/node/tiersplit.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/text/atom-inline.cs
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/text/atom-inline.js
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/text/atom.kk
+libexec/cabal/share/koka/v2.6.0/lib/v1/std/text/string.kk
+@dir libexec/cabal/share/koka/v2.6.0/kklib/mimalloc