From nobody Thu Mar 7 17:30:49 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TrGY52Z2Zz5DPqw; Thu, 7 Mar 2024 17:30:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TrGY525Ysz4LNV; Thu, 7 Mar 2024 17:30:49 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709832649; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=spJfIuhfhYc9elxocPM/h1oYYuKGaH1/QIWCX3WqqdE=; b=JNz5cY5f+2b1sDZSkN7qc3tRZpY+pefppmPZMGrabelo7Iy/m2A4gcSg5jUyKstG+BsRXT zfVygSVYcALIwOPiVOBPyXMht5D/tL8wwlrjCPhS0eQu8ZTO7tQO0QUn2Ss2sAnRMr0Dhe s6t55ndhL4hVA2z3fMfT6h6AYw370eQEZZj+8AhQFIXRctt4EdqMUJic/ZZTCTGtxeESJ/ Z/UnHyC+dzjrpBTawMiFuunIhG+sDf/U7H/g52LHQkfPWrlqrQ8/yMx5bypzkOFnyLM9pE NZnU3E+yuaQl8L34UpA0QiZbjwnqedsH7a13JyjpOO7FiHgpl1HaU16x/IKECQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1709832649; a=rsa-sha256; cv=none; b=FVGB6Hgs5JImg4VsJg+vUpkR4mXZzzVSOqs+c3cFKnXIIgZr2cLiXU+ew1oc7r4zi45KZ2 vVoSb+KaHC3tXBaadudc9AnNmd+w8xaluqZM48Hjl9XrseLrUyrEdMiYuje6nCsjPvqnxX W+W5NCXjrIYlm1qdEW5m45PQOzus+WvNARZW+FG4snQtpJLtfZ+Fx5DNcmRfg8KSrWYUQn aKB7aOFZF/cq5/cISw3F9ZKmRAhjtXyq75hL6B86u6JrBTuIeER6DdXrEZhzgIzkiCT640 5aoQ+Gxu+tzDQUWh4q1abkl51LPuvbpVHqPGAl0QqmkzSgnWkrrSCdm5gp9Xpw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1709832649; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=spJfIuhfhYc9elxocPM/h1oYYuKGaH1/QIWCX3WqqdE=; b=bu80N3b+ZRknsNRRESpKqcN1+IMp2q0H/wvSpXUBnqIBUV5i2v9xYjrmBiVCbd7SPLlK6S Ya+8QpspD0ox4RV1WKY0aIibCZWF+kMJTloO9xckUEaowg019jX0eyLILkvvG8j/1OGery cLshCZMzgIHFx6AyI3CQGSUDJBKSCWxHCRYEwMM7A6cLnYEolh+fx6EiMg7kgf95Xc+Dtb iwqgF5HoMracuyT5nm2EjxdXQk0AmL5bGN+5fduc5JopWr3Megj309ZQ5aJ7wB7UBT9IjR 8QkQStYqPDUz0nFA49yjjIhhoozEJjE05CiwRgu4MiDAiNaizz/3D41fyhpw9Q== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TrGY51hgwzk6V; Thu, 7 Mar 2024 17:30:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 427HUnve072103; Thu, 7 Mar 2024 17:30:49 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 427HUn9s072100; Thu, 7 Mar 2024 17:30:49 GMT (envelope-from git) Date: Thu, 7 Mar 2024 17:30:49 GMT Message-Id: <202403071730.427HUn9s072100@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: a310ee6b0d79 - main - lang/hs-koka: update 3.0.4 =?utf-8?Q?=E2=86=92?= 3.1.1 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: a310ee6b0d79249d2cdea9fa313f8b8a26f87d91 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=a310ee6b0d79249d2cdea9fa313f8b8a26f87d91 commit a310ee6b0d79249d2cdea9fa313f8b8a26f87d91 Author: Yuri Victorovich AuthorDate: 2024-03-07 15:47:12 +0000 Commit: Yuri Victorovich CommitDate: 2024-03-07 17:30:47 +0000 lang/hs-koka: update 3.0.4 → 3.1.1 Reported by: portscout --- lang/hs-koka/Makefile | 18 +++++++++++------- lang/hs-koka/distinfo | 42 +++++++++++++++++++++++++----------------- lang/hs-koka/pkg-plist | 1 + 3 files changed, 37 insertions(+), 24 deletions(-) diff --git a/lang/hs-koka/Makefile b/lang/hs-koka/Makefile index 5aa9704bf3e6..e29a2e0f589d 100644 --- a/lang/hs-koka/Makefile +++ b/lang/hs-koka/Makefile @@ -1,6 +1,6 @@ PORTNAME= koka DISTVERSIONPREFIX= v -DISTVERSION= 3.0.4 +DISTVERSION= 3.1.1 CATEGORIES= lang haskell MAINTAINER= yuri@FreeBSD.org @@ -25,7 +25,7 @@ USE_CABAL= Diff-0.5_1 \ StateVar-1.2.2 \ adjunctions-4.4.2_2 \ aeson-2.2.1.0_1 \ - alex-3.5.0.0 \ + alex-3.5.1.0 \ assoc-1.1_1 \ async-2.2.5 \ attoparsec-0.14.4_5 \ @@ -36,6 +36,7 @@ USE_CABAL= Diff-0.5_1 \ bifunctors-5.6.1_2 \ boring-0.2.1_1 \ call-stack-0.4.0 \ + case-insensitive-1.2.1.0 \ cereal-0.5.8.3 \ co-log-core-0.3.2.1 \ comonad-5.0.8_2 \ @@ -52,9 +53,10 @@ USE_CABAL= Diff-0.5_1 \ distributive-0.6.2.1_1 \ dlist-1.0_1 \ entropy-0.4.1.10_1 \ - file-embed-0.0.15.0 \ + file-embed-0.0.16.0 \ foldable1-classes-compat-0.1_4 \ free-5.2_3 \ + generic-arbitrary-1.0.1 \ generic-lens-2.2.2.0_1 \ generic-lens-core-2.2.1.0_2 \ generically-0.1.1_2 \ @@ -70,8 +72,8 @@ USE_CABAL= Diff-0.5_1 \ 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 \ + lsp-2.4.0.0 \ + lsp-types-2.1.1.0 \ mod-0.2.0.1 \ network-3.1.4.0_1 \ network-bsd-2.8.1.0_5 \ @@ -79,18 +81,20 @@ USE_CABAL= Diff-0.5_1 \ network-simple-0.4.5 \ network-uri-2.6.4.2_1 \ old-locale-1.0.0.7_2 \ + old-time-1.1.0.4 \ 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 \ + quickcheck-instances-0.3.30_1 \ + random-1.2.1.2 \ 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.21 \ + safe-0.3.21_1 \ safe-exceptions-0.1.7.4_1 \ scientific-0.3.7.0_7 \ semialign-1.3_1 \ diff --git a/lang/hs-koka/distinfo b/lang/hs-koka/distinfo index c0fa72ce4169..0130444fae1d 100644 --- a/lang/hs-koka/distinfo +++ b/lang/hs-koka/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1706328620 +TIMESTAMP = 1709797337 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 @@ -21,8 +21,8 @@ SHA256 (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cba 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/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07 +SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982 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 @@ -51,6 +51,8 @@ SHA256 (cabal/boring-0.2.1/revision/1.cabal) = 9e2566d93e8db00ea7c428bf6a4052f84 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/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406 +SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609 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 @@ -97,8 +99,8 @@ SHA256 (cabal/entropy-0.4.1.10/entropy-0.4.1.10.tar.gz) = 85ac1d53f1d1c095aedd23 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/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 5f18672eff936355557cdd163905451205d7ee22742edac313dd27cf42a3f415 +SIZE (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 7198 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 @@ -107,6 +109,8 @@ SHA256 (cabal/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aa 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-arbitrary-1.0.1/generic-arbitrary-1.0.1.tar.gz) = 92013ed9d38370bedad67a05deabc203bfdfd5a74ebec17554270e8ed22c29c7 +SIZE (cabal/generic-arbitrary-1.0.1/generic-arbitrary-1.0.1.tar.gz) = 6826 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 @@ -161,12 +165,10 @@ SHA256 (cabal/lens-aeson-1.2.3/lens-aeson-1.2.3.tar.gz) = 7bbc6affe248c84dfda135 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/lsp-2.4.0.0/lsp-2.4.0.0.tar.gz) = 1c35a5c8dd9555f064ff2f6c80098f5e5c430dfc49ced1d3bb2ebd74b9e0eebd +SIZE (cabal/lsp-2.4.0.0/lsp-2.4.0.0.tar.gz) = 41516 +SHA256 (cabal/lsp-types-2.1.1.0/lsp-types-2.1.1.0.tar.gz) = 409b0831a27f0c579f2ef792ae14ae5603c5921f8334826d3b5bb91ec206593f +SIZE (cabal/lsp-types-2.1.1.0/lsp-types-2.1.1.0.tar.gz) = 219884 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 @@ -189,6 +191,8 @@ SHA256 (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = dbaf8bf6b888fb9884 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/old-time-1.1.0.4/old-time-1.1.0.4.tar.gz) = 1e22eb7f7b924a676f52e317917b3b5eeceee11c74ef4bc609c0bcec624c166f +SIZE (cabal/old-time-1.1.0.4/old-time-1.1.0.4.tar.gz) = 75542 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 @@ -201,10 +205,12 @@ SHA256 (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bcc 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/quickcheck-instances-0.3.30/quickcheck-instances-0.3.30.tar.gz) = bd6e9ad3af52454f3e095b636fc4cbc30b14e0203ec725fa100893a6f58d841d +SIZE (cabal/quickcheck-instances-0.3.30/quickcheck-instances-0.3.30.tar.gz) = 13640 +SHA256 (cabal/quickcheck-instances-0.3.30/revision/1.cabal) = b78d12e5a46e0ae0087d5e4326b02392b3842270c76a146fc57d82d5bd44194e +SIZE (cabal/quickcheck-instances-0.3.30/revision/1.cabal) = 4921 +SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4 +SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229 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 @@ -229,6 +235,8 @@ SHA256 (cabal/row-types-1.0.1.2/revision/1.cabal) = 4d4c7cb95d06a32b28ba977852d5 SIZE (cabal/row-types-1.0.1.2/revision/1.cabal) = 3071 SHA256 (cabal/safe-0.3.21/safe-0.3.21.tar.gz) = 2c81fea42bbe79ec488774043c1ec54f30efba059df9a4f3681ce83d85007f01 SIZE (cabal/safe-0.3.21/safe-0.3.21.tar.gz) = 11778 +SHA256 (cabal/safe-0.3.21/revision/1.cabal) = b928ea1645876788155b38ce85c7e46d157a1bb41d2b05f5770b13d60bc6a3f7 +SIZE (cabal/safe-0.3.21/revision/1.cabal) = 2400 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 @@ -327,7 +335,7 @@ SHA256 (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd8 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-v3.0.4_GH0.tar.gz) = d23f0deda7efdabed2f52fc634bbe32d1ac5d641b866652d89fc8b296290cf4c -SIZE (cabal/koka-lang-koka-v3.0.4_GH0.tar.gz) = 4362647 +SHA256 (cabal/koka-lang-koka-v3.1.1_GH0.tar.gz) = d2bff7333ed6babfcaacc629cf74c4f69350528dfc8f0c499da3a7d34935de5b +SIZE (cabal/koka-lang-koka-v3.1.1_GH0.tar.gz) = 4383692 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-plist b/lang/hs-koka/pkg-plist index 02a842eb97c3..03de3630719f 100644 --- a/lang/hs-koka/pkg-plist +++ b/lang/hs-koka/pkg-plist @@ -372,6 +372,7 @@ libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/sslice.js libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/string.c libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/string.h libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/string.js +libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/types-cctx.c libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/types-cctx.h libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/types-cctx.js libexec/cabal/share/koka/%%VER%%/lib/std/core/inline/types.js