("8.17" tarm64le ("adea426b43bdca70c25cb6e4a3ab2f7d8796cbbf" . "8d0c7244e8307629bc34390c852c7afdf5497458") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine-typing.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine.rkt") (collects #"redex" #"main.rkt"))
