("8.15" tarm64nt ("2cd347587dcf6aaa1f6777c42e31a87a2a1ba113" "e4d94d8224a3a0e71b016e830b5d3398f16bd9d7" . "c5896f892fc9500510313926b22781c3f757648a") (collects #"db" #"private" #"generic" #"common.rkt") (collects #"db" #"private" #"generic" #"interfaces.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
