("9.3.0.2" tarm64le ("7b5c286f9dbb4cb23448bfa60a8a59f6dfc719ac" "28bd8d387f011ebe2ae3fd91262a26deefe69cdb" . "a17fa97b66aaeb45d63adb6d1faba50a0000f785") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
