("7.2" racket ("c76ab3bb23686567c7dcbdbd22b3c19ac1812edb" . "5371fe8da60f767b10419211641df67461b7e625") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
