("5.0.1.5" ("afa69839344cc7a7c193d45e6db9b1b4b001971b" . "eeb0a972731ee64c3a49fd1704dc6af238048e04") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"texpict" #"private" #"common-sig.rkt") (collects #"texpict" #"private" #"mrpict-sig.rkt"))
