The time is now Sunday, June 15th, 2025 2:53:20pm
(/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLT_PKG_BUILD_SERVICE=1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto margrave)
Resolved "margrave" via file:///home/root//catalogs/archive/catalog
raco setup: version: 8.17.0.4
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.17.0.4
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/8.17.0.4/collects
raco setup:   /home/root/racket/collects/
raco setup: main pkgs: /home/root/racket/share/pkgs
raco setup: pkgs paths: 
raco setup:   /home/root/racket/share/pkgs
raco setup:   /home/root//user/.local/share/racket/8.17.0.4/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.17.0.4/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [19:53:36]
raco setup: updating: /home/root/user/.local/share/racket/8.17.0.4/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [19:53:36]
raco setup: --- installing foreign libraries ---                   [19:53:36]
raco setup: --- installing shared files ---                        [19:53:36]
raco setup: --- compiling collections ---                          [19:53:36]
raco setup: making: <pkgs>/margrave (Margrave)
raco setup:  in <pkgs>/margrave
raco setup:  in <pkgs>/margrave/IOS-parser
raco setup:  in <pkgs>/margrave/lang
raco setup:  in <pkgs>/margrave/scribblings
raco setup: making: <pkgs>/margrave/IOS-parser
raco setup: making: <pkgs>/margrave/bin
raco setup: making: <pkgs>/margrave/bin/edu
raco setup: making: <pkgs>/margrave/bin/edu/wpi
raco setup: making: <pkgs>/margrave/bin/edu/wpi/margrave
raco setup: making: <pkgs>/margrave/examples
raco setup: making: <pkgs>/margrave/examples/policies
raco setup: making: <pkgs>/margrave/examples/policies/ios-demo
raco setup: making: <pkgs>/margrave/examples/policies/ios-demo/change1
raco setup: making: <pkgs>/margrave/examples/policies/ios-demo/change2
raco setup: making: <pkgs>/margrave/examples/policies/ios-demo/initial
raco setup: making: <pkgs>/margrave/examples/policies/network
raco setup: making: <pkgs>/margrave/examples/scripts
raco setup:  in <pkgs>/margrave/examples/scripts
raco setup: making: <pkgs>/margrave/javasrc
raco setup: making: <pkgs>/margrave/javasrc/edu
raco setup: making: <pkgs>/margrave/javasrc/edu/wpi
raco setup: making: <pkgs>/margrave/javasrc/edu/wpi/margrave
raco setup: making: <pkgs>/margrave/lang
raco setup: making: <pkgs>/margrave/racket
raco setup:  in <pkgs>/margrave/racket
raco setup:  in <pkgs>/margrave/racket/lang
raco setup: making: <pkgs>/margrave/racket/lang
raco setup: making: <pkgs>/margrave/scribblings
raco setup: making: <pkgs>/margrave/statistics
raco setup: making: <pkgs>/margrave/tests
raco setup:  in <pkgs>/margrave/tests
raco setup: making: <pkgs>/margrave/tests/sqs
raco setup: making: <pkgs>/margrave/tests/xacml
raco setup: making: <pkgs>/margrave/tests/xacml/college
raco setup: making: <pkgs>/margrave/tests/xacml/college/CodeA
raco setup: making: <pkgs>/margrave/tests/xacml/college/CodeB
raco setup: making: <pkgs>/margrave/tests/xacml/college/CodeC
raco setup: making: <pkgs>/margrave/tests/xacml/college/CodeD
raco setup: making: <pkgs>/margrave/tests/xacml/continue
raco setup: making: <pkgs>/margrave/tests/xacml/continue/CodeA
raco setup: making: <pkgs>/margrave/tests/xacml/continue/CodeB
raco setup: making: <pkgs>/margrave/visualization
raco setup: making: <pkgs>/margrave/visualization/application
raco setup:  in <pkgs>/margrave/visualization/application
raco setup: making: <pkgs>/margrave/visualization/application/tests
raco setup: making: <pkgs>/margrave/visualization/images
raco setup: --- creating launchers ---                             [19:54:39]
raco setup: --- installing man pages ---                           [19:54:39]
raco setup: --- building documentation ---                         [19:54:39]
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: running: <pkgs>/margrave/scribblings/margrave.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: WARNING: undefined tag in <pkgs>/margrave/scribblings/margrave.scrbl:
raco setup:  (tech "policy")
raco setup:  (tech "atomic predicate formula")
raco setup:  (tech "other predicate")
raco setup:  (tech "atomic type formula")
raco setup:  (tech "request")
raco setup:  (tech "request vector")
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/margrave/scribblings/margrave.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [19:55:04]
raco setup: --- post-installing collections ---                    [19:55:04]
The time is now Sunday, June 15th, 2025 2:55:04pm