Some tools which help build hyper-literate programs. For now, this only contains a few changes from scribble/lp2, including support for typed/racket literate programs.
Checksum error An error occurred while updating the package checksum.
ssl-connect: connect failed (error:14090086:SSL routines:ssl3_get_server_certificate:certificate verify failed) context...: /home/pkgserver/racket/collects/openssl/mzssl.rkt:347:0: error/network /home/pkgserver/racket/collects/openssl/mzssl.rkt:1413:0: wrap-ports /home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /home/pkgserver/racket/collects/net/http-client.rkt:67:0: http-conn-open! /home/pkgserver/racket/collects/net/http-client.rkt:282:0: http-conn-open /home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /home/pkgserver/racket/collects/net/url.rkt:201:0: http://getpost-impure-port /home/pkgserver/racket/collects/net/url.rkt:304:0: get-pure-port/headers /home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /home/pkgserver/racket/collects/net/git-checkout.rkt:245:0: initial-connect /home/pkgserver/racket/collects/net/git-checkout.rkt:55:2: retry-loop /home/pkgserver/racket/collects/pkg/private/stage.rkt:800:9 /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:40:2 /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:23:0: update-checksums /home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:192:0: do-update! /home/pkgserver/racket-pkg-website/src/pkg-index/common.rkt:157:0: run! ...
Authors | |
---|---|
Documentation | |
Tags | |
License | |
Last updated | Monday, June 30th, 2025 3:55:04pm (UTC) |
Ring | 1 |
Conflicts | None |
Dependencies | |
Most recent build results |
|
Version Exceptions | |
Last checked | Monday, June 30th, 2025 4:56:21pm (UTC) |
Last edited | Tuesday, March 25th, 2025 1:53:05am (UTC) |
Date added | Tuesday, March 25th, 2025 1:53:05am (UTC) |
Modules |
|