("8.17" tarm64le ("62665eba16f015907f7658e39091f0c16ef95941" . "43872e7ae6ce50d452a20591b514e67755c92a06") (collects #"deinprogramm" #"quickcheck" #"quickcheck.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"simple-tree-text-markup" #"data.rkt"))
