("5.0.1.5" ("6a961ae9d86b5023f4eede5b2ead556179211dc4" . "6db9ce0725f26c3a76579b28ac2c62b737fce2b4") (collects #"openssl" #"main.rkt") (collects #"scheme" #"main.rkt") (collects #"openssl" #"sha1.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
