The time is now Wednesday, February 7th, 2024 12:23:30am
(/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 4 -u --auto dracula)
Resolved "dracula" via file:///home/root//catalogs/archive/catalog
pkg: catalog response: #hash((author . "cce@racket-lang.org") (checksum . "08b7f7c52250769ea88885b175ccb240cf552005") (dependencies . (("planet-schematics-random1") ("base") ("compatibility-lib") ("drracket") ("drracket-plugin-lib") ("gui-lib") ("htdp-lib") ("planet-lib") ("rackunit-gui") ("rackunit-lib") ("sandbox-lib") ("scheme-lib") ("scribble-lib") ("slideshow-lib") ("srfi-lib") ("srfi-lite-lib") ("string-constants-lib") ("racket-doc"))) (description . "Dracula: ACL2 theorem prover tools in DrRacket") (modules . ((lib "dracula/self/require.rkt") (lib "dracula/reference/acl2/alists.scrbl") (lib "dracula/teachpacks/binary-io-utilities.rkt") (lib "dracula/modular/static-rep.rkt") (lib "dracula/teachpacks/io-utilities-scheme.rkt") (lib "dracula/reference/teachpacks/io-utilities.scrbl") (lib "dracula/acl2/parse.rkt") (lib "dracula/teachpacks/list-utilities.rkt") (lib "dracula/private/scheme/test/test-drscheme.rkt") (lib "dracula/lang/quote.rkt") (lib "dracula/private/fasttest/rackunit.rkt") (lib "dracula/lang/in-package.rkt") (lib "dracula/test/run-tests.rkt") (lib "dracula/teachpacks/io-utilities.rkt") (lib "dracula/private/fasttest/test.rkt") (lib "dracula/private/scheme/slideshow.rkt") (lib "dracula/lang/defun.rkt") (lib "dracula/modular/main.rkt") (lib "dracula/private/scheme/test/test-debug.rkt") (lib "dracula/modular/require.rkt") (lib "dracula/private/scheme/private/syntax-core.rkt") (lib "dracula/main.rkt") (lib "dracula/modular/module.rkt") (lib "dracula/private/scheme/match.rkt") (lib "dracula/teachpacks/doublecheck.rkt") (lib "dracula/reference/acl2/acl2.scrbl") (lib "dracula/teachpacks/little-prover.rkt") (lib "dracula/modular/world.rkt") (lib "dracula/reference/acl2/events.scrbl") (lib "dracula/proof/syntax.rkt") (lib "dracula/reference/reference.scrbl") (lib "dracula/acl2/acl2.rkt") (lib "dracula/lang/prover.rkt") (lib "dracula/reference/teachpacks/list-utilities.scrbl") (lib "dracula/teachpacks/audio.rkt") (lib "dracula/drscheme/proof-state.rkt") (lib "dracula/test/test-language.rkt") (lib "dracula/lang/acl2-app.rkt") (lib "dracula/test/test-library.rkt") (lib "dracula/lang/dracula-core.rkt") (lib "dracula/drscheme/dracula-state.rkt") (lib "dracula/private/scheme/web.rkt") (lib "dracula/private/scheme/dict.rkt") (lib "dracula/private/regexp.rkt") (lib "dracula/reference/acl2/ordinals.scrbl") (lib "dracula/modular/dynamic-rep.rkt") (lib "dracula/reference/teachpacks/j-bob.scrbl") (lib "dracula/private/scheme/test/test-web.rkt") (lib "dracula/private/scheme/sandbox.rkt") (lib "dracula/test/program-tests.rkt") (lib "dracula/lang/with-prover-time-limit.rkt") (lib "dracula/reference/teachpacks/j-bob-lang.scrbl") (lib "dracula/reference/acl2/sets.scrbl") (lib "dracula/test/test-regexp.rkt") (lib "dracula/lang/acl2-top.rkt") (lib "dracula/lang/dracula.rkt") (lib "dracula/reference/modular/modular.scrbl") (lib "dracula/guide/guide.scrbl") (lib "dracula/private/scheme/test/test-class.rkt") (lib "dracula/lang/include-book.rkt") (lib "dracula/drscheme/dracula-drscheme-tab.rkt") (lib "dracula/private/scheme/syntax.rkt") (lib "dracula/private/scheme/test/test-port.rkt") (lib "dracula/test/test-state.rkt") (lib "dracula/reference/teachpacks/testing.scrbl") (lib "dracula/reference/teachpacks/teachpacks.scrbl") (lib "dracula/private/scheme/test/test-scribble.rkt") (lib "dracula/lang/declare.rkt") (lib "dracula/private/scheme/debug.rkt") (lib "dracula/test/data-parse.rkt") (lib "dracula/modular/syntax-meta.rkt") (lib "dracula/lang/case-match.rkt") (lib "dracula/reference/acl2/bitwise.scrbl") (lib "dracula/modular/keywords.rkt") (lib "dracula/private/scheme/test/test-hash.rkt") (lib "dracula/lang/equality.rkt") (lib "dracula/private/scheme/test/test-queue.rkt") (lib "dracula/private/scheme/drscheme.rkt") (lib "dracula/drscheme/dracula-drscheme-definitions.rkt") (lib "dracula/self/module-path.rkt") (lib "dracula/test/test-parse.rkt") (lib "dracula/private/scheme/test/test-contract.rkt") (lib "dracula/private/scheme/class.rkt") (lib "dracula/reference/teachpacks/little-prover.scrbl") (lib "dracula/test/test-modular.rkt") (lib "dracula/lang/acl.rkt") (lib "dracula/private/scheme/test/test-values.rkt") (lib "dracula/reference/teachpacks/world.scrbl") (lib "dracula/lang/do-check.rkt") (lib "dracula/lang/acl2-io.rkt") (lib "dracula/lang/t-or-nil.rkt") (lib "dracula/private/scheme/contract.rkt") (lib "dracula/reference/acl2/datatypes.scrbl") (lib "dracula/private/fasttest/private/random-stream.rkt") (lib "dracula/private/scheme/test/test-regexp.rkt") (lib "dracula/private/scheme/test/test-dict.rkt") (lib "dracula/reference/acl2/arithmetic.scrbl") (lib "dracula/private/scheme/text.rkt") (lib "dracula/reference/acl2/characters.scrbl") (lib "dracula/drscheme/executable-path.rkt") (lib "dracula/modular/interface.rkt") (lib "dracula/test/test-teachpacks.rkt") (lib "dracula/reference/acl2/unsupported.scrbl") (lib "dracula/reference/acl2/parameters.scrbl") (lib "dracula/acl2/rep.rkt") (lib "dracula/lang/syntax-checks.rkt") (lib "dracula/lang/acl2-reader.rkt") (lib "dracula/test/test-private.rkt") (lib "dracula/reference/teachpacks/audio.scrbl") (lib "dracula/reference/acl2/strings.scrbl") (lib "dracula/drscheme/dracula-proof-panel.rkt") (lib "dracula/lang/printer.rkt") (lib "dracula/private/scheme/hash.rkt") (lib "dracula/teachpacks/avl-rational-keys.rkt") (lib "dracula/private/fasttest/examples/tutorial.rkt") (lib "dracula/modular/top.rkt") (lib "dracula/modular/teachpacks.rkt") (lib "dracula/modular/world-teachpack.rkt") (lib "dracula/lang/deflist.rkt") (lib "dracula/private/scheme/test/test-slideshow.rkt") (lib "dracula/private/scheme/queue.rkt") (lib "dracula/private/scheme/test/test-exn.rkt") (lib "dracula/private/scheme/regexp.rkt") (lib "dracula/guide/modular.scrbl") (lib "dracula/lang/parameters.rkt") (lib "dracula/lang/defconst.rkt") (lib "dracula/private/scheme/gui.rkt") (lib "dracula/lang/acl2-readtable.rkt") (lib "dracula/private/fasttest/examples/stress.rkt") (lib "dracula/drscheme/tool.rkt") (lib "dracula/proof/proof.rkt") (lib "dracula/private/scheme/test/test-function.rkt") (lib "dracula/private/scheme/lang.rkt") (lib "dracula/reference/acl2/booleans.scrbl") (lib "dracula/private/fasttest/random.rkt") (lib "dracula/private/scheme/require-provide.rkt") (lib "dracula/self/scribble.rkt") (lib "dracula/private/scheme/planet.rkt") (lib "dracula/private/scheme/set.rkt") (lib "dracula/private/scheme/test/test-match.rkt") (lib "dracula/guide/display.rkt") (lib "dracula/drscheme/dracula-drscheme-frame.rkt") (lib "dracula/private/scheme/port.rkt") (lib "dracula/private/scheme/test/test-syntax.rkt") (lib "dracula/lang/constants.rkt") (lib "dracula/guide/doublecheck.scrbl") (lib "dracula/acl2/buffer.rkt") (lib "dracula/private/scheme/test/test-define.rkt") (lib "dracula/teachpacks/rand.rkt") (lib "dracula/private/scheme/test/test-planet.rkt") (lib "dracula/modular/invoke.rkt") (lib "dracula/private/scheme/test/test-set.rkt") (lib "dracula/modular/link.rkt") (lib "dracula/test/test-proof.rkt") (lib "dracula/drscheme/dracula-language-level.rkt") (lib "dracula/private/scheme/values.rkt") (lib "dracula/private/scheme/define.rkt") (lib "dracula/reference/acl2/books.scrbl") (lib "dracula/private/scheme/scribble.rkt") (lib "dracula/lang/let.rkt") (lib "dracula/private/hash.rkt") (lib "dracula/reference/teachpacks/avl-rational-keys.scrbl") (lib "dracula/lang/primitive-procedures/acl2-prims-scheme.rkt") (lib "dracula/private/scheme/function.rkt") (lib "dracula/teachpacks/j-bob-lang.rkt") (lib "dracula/modular/list-set.rkt") (lib "dracula/reference/acl2/symbols.scrbl") (lib "dracula/private/scheme/test/test-require-provide.rkt") (lib "dracula/private/scheme/test/test-main.rkt") (lib "dracula/test/data-state.rkt") (lib "dracula/lang/primitive-procedures/acl2-prims.rkt") (lib "dracula/private/scheme/private/define-core.rkt") (lib "dracula/drscheme/dracula-interfaces.rkt") (lib "dracula/reference/teachpacks/binary-io-utilities.scrbl") (lib "dracula/lang/dracula-module-begin.rkt") (lib "dracula/reference/acl2/trees.scrbl") (lib "dracula/private/scheme/test/checks.rkt") (lib "dracula/teachpacks/testing.rkt") (lib "dracula/teachpacks/testing-gui.rkt") (lib "dracula/lang/theorems.rkt") (lib "dracula/lang/conditionals.rkt") (lib "dracula/private/scheme/exn.rkt") (lib "dracula/drscheme/term-state.rkt") (lib "dracula/private/scheme/main.rkt") (lib "dracula/lang/nil-macros.rkt") (lib "dracula/private/scheme/test/test-text.rkt") (lib "dracula/reference/acl2/expressions.scrbl") (lib "dracula/private/scheme/scheme.rkt") (lib "dracula/reference/acl2/lists.scrbl") (lib "dracula/guide/dracula.scrbl") (lib "dracula/guide/tutorial.scrbl") (lib "dracula/private/scheme/test/test-gui.rkt") (lib "dracula/teachpacks/j-bob.rkt") (lib "dracula/reference/teachpacks/doublecheck.scrbl") (lib "dracula/modular.rkt") (lib "dracula/lang/defthm.rkt") (lib "dracula/reference/acl2/sequences.scrbl") (lib "dracula/reference/evaluator.rkt") (lib "dracula/reference/acl2/library.scrbl") (lib "dracula/reference/teachpacks/rand.scrbl") (lib "dracula/test/data-proof.rkt") (lib "dracula/teachpacks/world.rkt") (lib "dracula/lang/defstructure.rkt") (lib "dracula/private/scheme/test/test-sandbox.rkt") (lib "dracula/reference/acl2/io.scrbl"))) (name . "dracula") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/dracula.zip") (tags . ()))
racket pkg install: cannot find package on catalogs
  package: planet-schematics-random1
The time is now Wednesday, February 7th, 2024 12:23:31am