("9.3.0.2" tarm64le ("e94672c42b88f70e91ad6aab9d19a26b4dd9e88d" "28bd8d387f011ebe2ae3fd91262a26deefe69cdb" . "5a1f80b4c6db2ebfefbad98b412b0a6872cc0d18") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
