("7.2" racket ("7b2b7eb43952ce625cda1cb5daaa0def56b6c5fe" . "1b4241932a1c9eb431fe40a449878c6db5029c89") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
