info.ss
(module info (lib "infotab.ss" "setup")

  (define name "Dracula")

  (define blurb '("Provides the Dracula language level for ACL2 emulation."))

  (define release-notes
    '("6.0: Fixed typos preventing certification of some teachpacks."))

  (define categories '(devtools scientific))

  (define homepage "http://www.ccs.neu.edu/home/cce/acl2/")

  (define primary-file "language/dracula.scm")

  (define required-core-version "4.0.1")

  (define repositories '("4.x"))

  (define scribblings '[("scribble/manual.scrbl" [multi-page])])

  )