("8.15" tarm32nb ("9ee5aa3735c5ec7b4c4bba7b21bbdce9bfa8481f" . "c03a84a6a51fe2fa063b5c85dec8e2d2284cc321") (collects #"deinprogramm" #"signature" #"signature-english.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"math.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
