info.rkt
#lang setup/infotab

(define blurb '("Show meta-information about a module such as exports/imports"
                "and contract information."))
(define name "Module Information")
(define primary-file "check.rkt")
(define categories '(system))
(define raco-commands '(["extract" "check.rkt" "show module information" 50]))
(define release-notes '("Initial release"))
(define repositories '("4.x"))