#lang setup/infotab
(define name "types")
(define blurb
  (list "Idioms for typed-scheme."))
(define primary-file "main.ss")
(define categories '(devtools))
(define scribblings '(("types.scrbl" ())))
(define release-notes
  '((p "Initial release.")))
(define repositories '("4.x"))
(define required-core-version "4.0.0.0")
(define version "1")