(module info setup/infotab (#%module-begin (define package-content-state (quote (built "6.7"))) (define collection (quote multi)) (define version "1.0") (define deps (quote ("option-contract-lib" "option-contract-doc"))) (define pkg-authors (quote (chrdimo robby)))))
