("8.15" ti3nb ("db2e98690bc35c0c34e794a638c4f99b7c5ec569" . "d476675c95c3baa542f4d025ef1612fb922584a8") (collects #"net" #"git-checkout.rkt") (collects #"pkg" #"private" #"config.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
