++ dirname ./run.sh
+ cd .
+ echo 1114
+ echo '2.0-SNAPSHOT BUILD'
2.0-SNAPSHOT BUILD
+ date
Tue Jun 16 14:04:51 UTC 2026
+ uptime
14:04:51 up 0 min, 0 users, load average: 1.66, 0.45, 0.15
+ ff=default
+ image=maxonfjvipon/rultor-image-hs:master
+ rebase=false
+ head_branch=master
+ pull_title='Represent α-indices and λ/Δ as distinct AST sorts, not attributes'
+ author=maxonfjvipon
+ directory=
+ head=git@github.com:objectionary/phino.git
+ pull_id=810
+ fork=git@github.com:maxonfjvipon/phino.git
+ fork_branch=bug/#809/separate-alpha-and-asset
+ squash=false
+ vars=('--env=head=git@github.com:objectionary/phino.git' '--env=pull_id=810' '--env=fork=git@github.com:maxonfjvipon/phino.git' '--env=fork_branch=bug/#809/separate-alpha-and-asset' '--env=head_branch=master' '--env=pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes' '--env=author=maxonfjvipon' '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_id=810'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork=git@github.com:maxonfjvipon/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork_branch=bug/#809/separate-alpha-and-asset'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''make -j'\'' '\'';'\'' )')
+ scripts=('export '\''head=git@github.com:objectionary/phino.git'\''' ';' 'export '\''pull_id=810'\''' ';' 'export '\''fork=git@github.com:maxonfjvipon/phino.git'\''' ';' 'export '\''fork_branch=bug/#809/separate-alpha-and-asset'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' 'make -j' ';')
+ container=objectionary_phino_810
+ as_root=true
+ set -e -o pipefail
+ hostname
ip-172-31-21-195
+ pwd
/tmp/rultor-LM7E
+ git --version
git version 2.34.1
+ docker --version
Docker version 25.0.3, build 4debf41
+ mkdir -p /home/ubuntu/.ssh
+ echo -e 'Host github.com\n\tStrictHostKeyChecking no\n'
+ chmod 600 /home/ubuntu/.ssh/config
+ git clone --recurse-submodules git@github.com:objectionary/phino.git repo
Cloning into 'repo'...
Warning: Permanently added 'github.com' (ED25519) to the list of known hosts.
+ cd repo
+ git config user.email gpg@rultor.com
+ git config user.name Rultor.com
+ '[' -z 'export '\''head=git@github.com:objectionary/phino.git'\''' ']'
+ cd ..
+ cat
+ '[' true = true ']'
+ cat
+ chmod a+x entry.sh
+ cat
+ echo 'export '\''head=git@github.com:objectionary/phino.git'\''' ';' 'export '\''pull_id=810'\''' ';' 'export '\''fork=git@github.com:maxonfjvipon/phino.git'\''' ';' 'export '\''fork_branch=bug/#809/separate-alpha-and-asset'\''' ';' 'export '\''head_branch=master'\''' ';' 'export '\''pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes'\''' ';' 'export '\''author=maxonfjvipon'\''' ';' 'cabal --version' ';' 'ghc --version' ';' 'cabal update' ';' 'pdd -f /dev/null -v' ';' 'make -j' ';'
+ sensitive=()
+ set -ex -o pipefail
+ cd repo
+ git remote add fork git@github.com:maxonfjvipon/phino.git
+ git remote update
Fetching origin
Fetching fork
From github.com:maxonfjvipon/phino
* [new branch] bug/#163/cst -> fork/bug/#163/cst
* [new branch] bug/#163/suboptimal-sweet-formating -> fork/bug/#163/suboptimal-sweet-formating
* [new branch] bug/#194/steps-dir -> fork/bug/#194/steps-dir
* [new branch] bug/#196/phi-again -> fork/bug/#196/phi-again
* [new branch] bug/#313/log-lines -> fork/bug/#313/log-lines
* [new branch] bug/#356/rules-to-latex -> fork/bug/#356/rules-to-latex
* [new branch] bug/#393/sequence -> fork/bug/#393/sequence
* [new branch] bug/#393/to-latex -> fork/bug/#393/to-latex
* [new branch] bug/#394/flat-flag -> fork/bug/#394/flat-flag
* [new branch] bug/#394/flat-prep -> fork/bug/#394/flat-prep
* [new branch] bug/#395/leads-to -> fork/bug/#395/leads-to
* [new branch] bug/#399/intel-macos-readme -> fork/bug/#399/intel-macos-readme
* [new branch] bug/#399/macos-intel -> fork/bug/#399/macos-intel
* [new branch] bug/#401/doc-about-xmir -> fork/bug/#401/doc-about-xmir
* [new branch] bug/#403/formation-with-inline-voids -> fork/bug/#403/formation-with-inline-voids
* [new branch] bug/#404/print-to-ascii -> fork/bug/#404/print-to-ascii
* [new branch] bug/#405/single-line -> fork/bug/#405/single-line
* [new branch] bug/#415/merge-command -> fork/bug/#415/merge-command
* [new branch] bug/#422/leadsto-indented -> fork/bug/#422/leadsto-indented
* [new branch] bug/#424/nonumber-in-latex -> fork/bug/#424/nonumber-in-latex
* [new branch] bug/#425/pipes-in-latex -> fork/bug/#425/pipes-in-latex
* [new branch] bug/#432/fix-contextualization -> fork/bug/#432/fix-contextualization
* [new branch] bug/#433/rewrite-with-expression-in-latex -> fork/bug/#433/rewrite-with-expression-in-latex
* [new branch] bug/#435/meta-in-cst -> fork/bug/#435/meta-in-cst
* [new branch] bug/#437/hide-objects -> fork/bug/#437/hide-objects
* [new branch] bug/#440/label-in-phi -> fork/bug/#440/label-in-phi
* [new branch] bug/#441/curled-brackets-in-latex -> fork/bug/#441/curled-brackets-in-latex
* [new branch] bug/#444/pipes-in-function-names -> fork/bug/#444/pipes-in-function-names
* [new branch] bug/#450/dot-in-latex -> fork/bug/#450/dot-in-latex
* [new branch] bug/#451/ignore-rho-in-primitives-application -> fork/bug/#451/ignore-rho-in-primitives-application
* [new branch] bug/#452/dataize-with-sequence -> fork/bug/#452/dataize-with-sequence
* [new branch] bug/#457/primitives-to-salty -> fork/bug/#457/primitives-to-salty
* [new branch] bug/#460/margin -> fork/bug/#460/margin
* [new branch] bug/#469/update-command-in-readme -> fork/bug/#469/update-command-in-readme
* [new branch] bug/#471/fix-hide -> fork/bug/#471/fix-hide
* [new branch] bug/#472/canonize-option -> fork/bug/#472/canonize-option
* [new branch] bug/#479/nameref-in-dataize -> fork/bug/#479/nameref-in-dataize
* [new branch] bug/#480/quite-for-dataize -> fork/bug/#480/quite-for-dataize
* [new branch] bug/#481/show-option-for-rewrite -> fork/bug/#481/show-option-for-rewrite
* [new branch] bug/#491/focus -> fork/bug/#491/focus
* [new branch] bug/#511/meet-prefix -> fork/bug/#511/meet-prefix
* [new branch] bug/#521/log-info -> fork/bug/#521/log-info
* [new branch] bug/#522/phi-meet-twice -> fork/bug/#522/phi-meet-twice
* [new branch] bug/#528/space-in-phi-meet -> fork/bug/#528/space-in-phi-meet
* [new branch] bug/#529/dataize-locator -> fork/bug/#529/dataize-locator
* [new branch] bug/#542/locator-modifies-program -> fork/bug/#542/locator-modifies-program
* [new branch] bug/#551/remove-qq -> fork/bug/#551/remove-qq
* [new branch] bug/#552/phi-again-in-sugar -> fork/bug/#552/phi-again-in-sugar
* [new branch] bug/#560/meet-length -> fork/bug/#560/meet-length
* [new branch] bug/#561/meet-popularity -> fork/bug/#561/meet-popularity
* [new branch] bug/#565/smaller-logging -> fork/bug/#565/smaller-logging
* [new branch] bug/#567/show-stop-on-rewriting -> fork/bug/#567/show-stop-on-rewriting
* [new branch] bug/#568/refactor-cli -> fork/bug/#568/refactor-cli
* [new branch] bug/#579/explain-rule-with-conditions -> fork/bug/#579/explain-rule-with-conditions
* [new branch] bug/#580/copy-with-nf -> fork/bug/#580/copy-with-nf
* [new branch] bug/#588/contextualize-in-explain -> fork/bug/#588/contextualize-in-explain
* [new branch] bug/#590/explain-output -> fork/bug/#590/explain-output
* [new branch] bug/#594/vert -> fork/bug/#594/vert
* [new branch] bug/#597/names-in-lower-case -> fork/bug/#597/names-in-lower-case
* [new branch] bug/#607/publish-mac-os-14-binariy -> fork/bug/#607/publish-mac-os-14-binariy
* [new branch] bug/#614/stong-deps -> fork/bug/#614/stong-deps
* [new branch] bug/#625/escape-input-in-xmir -> fork/bug/#625/escape-input-in-xmir
* [new branch] bug/#628/binaries-for-ubuntu-24 -> fork/bug/#628/binaries-for-ubuntu-24
* [new branch] bug/#630/breakpoint-option -> fork/bug/#630/breakpoint-option
* [new branch] bug/#631/match-fails-on-empty-substs -> fork/bug/#631/match-fails-on-empty-substs
* [new branch] bug/#651/string-to-text -> fork/bug/#651/string-to-text
* [new branch] bug/#653/benchmark -> fork/bug/#653/benchmark
* [new branch] bug/#655/binary-in-rultor -> fork/bug/#655/binary-in-rultor
* [new branch] bug/#655/reduce-binary-size -> fork/bug/#655/reduce-binary-size
* [new branch] bug/#664/fix-benchmark-loop -> fork/bug/#664/fix-benchmark-loop
* [new branch] bug/#672/deps-actions -> fork/bug/#672/deps-actions
* [new branch] bug/#676/speed-up-rultor-merge -> fork/bug/#676/speed-up-rultor-merge
* [new branch] bug/#73/match-command -> fork/bug/#73/match-command
* [new branch] bug/#744/redundant-scope-and-contextualize -> fork/bug/#744/redundant-scope-and-contextualize
* [new branch] bug/#748/duplicate-void-rho -> fork/bug/#748/duplicate-void-rho
* [new branch] bug/#749/domain-excludes-assets -> fork/bug/#749/domain-excludes-assets
* [new branch] bug/#760/dataize-morph-driver -> fork/bug/#760/dataize-morph-driver
* [new branch] bug/#760/explain-docs -> fork/bug/#760/explain-docs
* [new branch] bug/#760/formalize-md-rules -> fork/bug/#760/formalize-md-rules
* [new branch] bug/#765/relax-tail-matching -> fork/bug/#765/relax-tail-matching
* [new branch] bug/#774/unify-version-3-components -> fork/bug/#774/unify-version-3-components
* [new branch] bug/#774/unify-version-4-components -> fork/bug/#774/unify-version-4-components
* [new branch] bug/#809/separate-alpha-and-asset -> fork/bug/#809/separate-alpha-and-asset
* [new branch] gh-pages -> fork/gh-pages
* [new branch] master -> fork/master
* [new branch] patch-1 -> fork/patch-1
* [new branch] patch-2 -> fork/patch-2
* [new branch] patch-3 -> fork/patch-3
* [new branch] rultor-arch -> fork/rultor-arch
* [new branch] update-typos -> fork/update-typos
* [new branch] version-up -> fork/version-up
+ args=()
+ '[' default == default ']'
+ args+=(--ff)
+ '[' default == no ']'
+ '[' default == only ']'
+ '[' false == true ']'
+ BRANCH=__rultor
++ wc -l
++ git show-branch __rultor
+ '[' 0 -gt 0 ']'
+ export BRANCH
+ git status
On branch master
Your branch is up to date with 'origin/master'.
nothing to commit, working tree clean
+ git checkout -B __rultor fork/bug/#809/separate-alpha-and-asset
Switched to a new branch '__rultor'
Branch '__rultor' set up to track remote branch 'bug/#809/separate-alpha-and-asset' from 'fork'.
+ git checkout -B master origin/master
Switched to and reset branch 'master'
Branch 'master' set up to track remote branch 'master' from 'origin'.
Your branch is up to date with 'origin/master'.
+ '[' false == true ']'
+ KEY=3FD3FA7E9AF0FA4C
+ git merge --gpg-sign=3FD3FA7E9AF0FA4C --no-edit -m 'Represent α-indices and λ/Δ as distinct AST sorts, not attributes' --ff __rultor
Auto-merging src/Dataize.hs
Auto-merging test/CLISpec.hs
Auto-merging test/DataizeSpec.hs
Merge made by the 'ort' strategy.
benchmark/Main.hs | 4 +-
resources/normalize/alpha.yaml | 4 +-
.../not-alpha.yaml => resources/normalize/dca.yaml | 8 +-
resources/normalize/miss.yaml | 11 +-
src/AST.hs | 66 +++++---
src/Builder.hs | 44 ++++--
src/CLI/Helpers.hs | 2 +-
src/CLI/Runners.hs | 4 +-
src/CLI/Validators.hs | 2 +-
src/CST.hs | 55 ++++---
src/Canonizer.hs | 18 ++-
src/Condition.hs | 9 +-
src/Dataize.hs | 6 +-
src/Encoding.hs | 1 +
src/Functions.hs | 11 +-
src/LaTeX.hs | 11 +-
src/Locator.hs | 4 +-
src/Matcher.hs | 41 +++--
src/Misc.hs | 53 +++----
src/Parser.hs | 73 +++++----
src/Printer.hs | 15 +-
src/Render.hs | 3 +
src/Replacer.hs | 21 ++-
src/Rule.hs | 37 ++---
src/Sugar.hs | 2 +-
src/Tau.hs | 6 +-
src/XMIR.hs | 79 +++++-----
src/Yaml.hs | 11 +-
test-resources/condition-packs/alpha-simple.yaml | 10 +-
test-resources/condition-packs/length.yaml | 2 +-
test-resources/condition-packs/ordinal.yaml | 4 +-
.../rewriter-packs/basic/dca-from-paper.yaml | 9 ++
...h-alpha-condition.yaml => with-alpha-meta.yaml} | 9 +-
test-resources/yaml-packs/when.yaml | 1 -
test/ASTSpec.hs | 92 +++++------
test/BuilderSpec.hs | 46 +++---
test/CLISpec.hs | 13 +-
test/CSTSpec.hs | 2 +-
test/ConditionSpec.hs | 15 +-
test/DataizeSpec.hs | 28 ++--
test/FunctionsSpec.hs | 6 +-
test/MatcherSpec.hs | 161 ++++++++++----------
test/MiscSpec.hs | 8 +-
test/ParserSpec.hs | 144 +++++++++---------
test/PrinterSpec.hs | 44 +++---
test/ReplacerSpec.hs | 169 ++++++++++-----------
test/RewriterSpec.hs | 4 +-
test/RuleSpec.hs | 16 +-
test/TauSpec.hs | 4 +-
49 files changed, 752 insertions(+), 636 deletions(-)
rename test-resources/condition-packs/not-alpha.yaml => resources/normalize/dca.yaml (58%)
create mode 100644 test-resources/rewriter-packs/basic/dca-from-paper.yaml
rename test-resources/rewriter-packs/custom/{with-alpha-condition.yaml => with-alpha-meta.yaml} (56%)
+ git log -1 --show-signature
commit 943d67681106349d755297acab3ccd34c323b782
gpg: Signature made Tue Jun 16 14:05:03 2026 UTC
gpg: using RSA key FAC962C42841735692C13FF43FD3FA7E9AF0FA4C
gpg: Good signature from "Rultor.com <gpg@rultor.com>" [unknown]
gpg: WARNING: This key is not certified with a trusted signature!
gpg: There is no indication that the signature belongs to the owner.
Primary key fingerprint: FAC9 62C4 2841 7356 92C1 3FF4 3FD3 FA7E 9AF0 FA4C
Merge: e301833 e5cf09f
Author: Rultor.com <gpg@rultor.com>
Date: Tue Jun 16 14:05:03 2026 +0000
Represent α-indices and λ/Δ as distinct AST sorts, not attributes
+ docker_when_possible
+ true
++ tail -n 1
++ sed 's/ /\n/g'
++ uptime
+ load=0.20
++ bc
++ echo 0.20 '>' 30
+ '[' 0 -eq 1 ']'
+ echo 'load average is 0.20, low enough to run a new Docker container'
load average is 0.20, low enough to run a new Docker container
+ break
+ cd ..
+ '[' -n '' ']'
+ use_image=maxonfjvipon/rultor-image-hs:master
+ docker pull maxonfjvipon/rultor-image-hs:master
master: Pulling from maxonfjvipon/rultor-image-hs
437b5b60e3a4: Pulling fs layer
240be374d489: Pulling fs layer
da00f900e37d: Pulling fs layer
fe752c15eaf1: Pulling fs layer
c708ccef4e5d: Pulling fs layer
b9e553f15463: Pulling fs layer
f9f01d7683d7: Pulling fs layer
2765281940cf: Pulling fs layer
2be901e52bf6: Pulling fs layer
ba405dc7d927: Pulling fs layer
d42f35168bf9: Pulling fs layer
ad757dfbcd47: Pulling fs layer
4f4fb700ef54: Pulling fs layer
bfaa3072d409: Pulling fs layer
a4fa9a361052: Pulling fs layer
fe752c15eaf1: Waiting
c708ccef4e5d: Waiting
b9e553f15463: Waiting
f9f01d7683d7: Waiting
2765281940cf: Waiting
2be901e52bf6: Waiting
ba405dc7d927: Waiting
d42f35168bf9: Waiting
ad757dfbcd47: Waiting
4f4fb700ef54: Waiting
bfaa3072d409: Waiting
a4fa9a361052: Waiting
da00f900e37d: Verifying Checksum
da00f900e37d: Download complete
fe752c15eaf1: Verifying Checksum
fe752c15eaf1: Download complete
437b5b60e3a4: Verifying Checksum
437b5b60e3a4: Download complete
240be374d489: Verifying Checksum
240be374d489: Download complete
b9e553f15463: Verifying Checksum
b9e553f15463: Download complete
2765281940cf: Verifying Checksum
2765281940cf: Download complete
f9f01d7683d7: Verifying Checksum
f9f01d7683d7: Download complete
2be901e52bf6: Verifying Checksum
2be901e52bf6: Download complete
d42f35168bf9: Verifying Checksum
d42f35168bf9: Download complete
ad757dfbcd47: Verifying Checksum
ad757dfbcd47: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
437b5b60e3a4: Pull complete
ba405dc7d927: Verifying Checksum
ba405dc7d927: Download complete
a4fa9a361052: Verifying Checksum
a4fa9a361052: Download complete
c708ccef4e5d: Verifying Checksum
c708ccef4e5d: Download complete
bfaa3072d409: Verifying Checksum
bfaa3072d409: Download complete
240be374d489: Pull complete
da00f900e37d: Pull complete
fe752c15eaf1: Pull complete
c708ccef4e5d: Pull complete
b9e553f15463: Pull complete
f9f01d7683d7: Pull complete
2765281940cf: Pull complete
2be901e52bf6: Pull complete
ba405dc7d927: Pull complete
d42f35168bf9: Pull complete
ad757dfbcd47: Pull complete
4f4fb700ef54: Pull complete
bfaa3072d409: Pull complete
a4fa9a361052: Pull complete
Digest: sha256:ff58a158e20a6207d154dce11feda1adbd97133b5ff937ead99acd9b4c59beca
Status: Downloaded newer image for maxonfjvipon/rultor-image-hs:master
docker.io/maxonfjvipon/rultor-image-hs:master
+ grep --quiet '\sobjectionary_phino_810\s*$'
+ docker ps --filter=status=exited
+ ls -al .
total 60
drwx------ 3 ubuntu ubuntu 4096 Jun 16 14:05 .
drwxrwxrwt 12 root root 4096 Jun 16 14:05 ..
-rwxrwxr-x 1 ubuntu ubuntu 666 Jun 16 14:07 end.sh
-rwxrwxr-x 1 ubuntu ubuntu 170 Jun 16 14:05 entry.sh
-rw-rw-r-- 1 ubuntu ubuntu 65 Jun 16 14:04 hackage-auth
-rw-rw-r-- 1 ubuntu ubuntu 5 Jun 16 14:04 pid
drwxrwxr-x 12 ubuntu ubuntu 4096 Jun 16 14:05 repo
-rwxrwxr-x 1 ubuntu ubuntu 6767 Jun 16 14:04 run.sh
-rw-rw-r-- 1 ubuntu ubuntu 608 Jun 16 14:05 script.sh
-rw-rw-r-- 1 ubuntu ubuntu 19118 Jun 16 14:08 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-LM7E:/main --env=head=git@github.com:objectionary/phino.git --env=pull_id=810 --env=fork=git@github.com:maxonfjvipon/phino.git --env=fork_branch=bug/#809/separate-alpha-and-asset --env=head_branch=master '--env=pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes' --env=author=maxonfjvipon '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_id=810'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork=git@github.com:maxonfjvipon/phino.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork_branch=bug/#809/separate-alpha-and-asset'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=master'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_title=Represent α-indices and λ/Δ as distinct AST sorts, not attributes'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=maxonfjvipon'\''\'\'''\'''\'' '\'';'\'' '\''cabal --version'\'' '\'';'\'' '\''ghc --version'\'' '\'';'\'' '\''cabal update'\'' '\'';'\'' '\''pdd -f /dev/null -v'\'' '\'';'\'' '\''make -j'\'' '\'';'\'' )' --hostname=docker --privileged --net=host --dns 8.8.8.8 --add-host docker:127.0.0.1 --memory=8g --memory-swap=16g --oom-kill-disable --cidfile=/tmp/rultor-LM7E/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_phino_810 maxonfjvipon/rultor-image-hs:master /main/entry.sh
WARNING: Your kernel does not support OomKillDisable. OomKillDisable discarded.
+ set -e
+ set -o pipefail
+ mkdir /home/r
+ cp -R ./cid ./end.sh ./entry.sh ./hackage-auth ./pid ./repo ./run.sh ./script.sh ./stdout ./stop.sh /home/r
+ rm -rf repo
+ chmod a+x /home/r/script.sh
+ /home/r/script.sh
cabal-install version 3.14.1.1
compiled using version 3.14.1.1 of the Cabal library
The Glorious Glasgow Haskell Compilation System, version 9.6.7
Downloading the latest package list from hackage.haskell.org
e7c64e4dbf4347c04889f335dcbb1fc51f4d65706812dece429f60629fc3961a
Error response from daemon: Cannot kill container: e7c64e4dbf4347c04889f335dcbb1fc51f4d65706812dece429f60629fc3961a: container e7c64e4dbf4347c04889f335dcbb1fc51f4d65706812dece429f60629fc3961a is not running
container e7c64e4dbf4347c04889f335dcbb1fc51f4d65706812dece429f60629fc3961a is dead
Tue Jun 16 14:08:27 UTC 2026
This build log was produced by
rultor.com
for
objectionary/phino#810