("8.17" tarm64le ("e8151631b0a2a3d2ba4e26d3705a8ed447d2f3c4" . "0c7ec34ba9dbe669c26668665cd9387c93cc5be7") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"lncs" #"lang.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt"))
