(module info (lib "" "setup")
  (define name "DivaScheme")
  (define blurb '("semi-structured programming editing for DrScheme"))
  (define homepage "")
  (define version "2.5")
  (define doc.txt "doc.txt")
  (define release-notes '((p "Recent changes in 2.5:")
                           (li "For 4.0: fixed a bug that was causing DivaScheme to freeze."))
                          (p "For more details, see")))
  (define primary-file "")
  (define categories '(devtools))
  (define tools '(("")))
  ;; The icon of the project.
  (define tool-names (list "DivaScheme"))
  ;; the url of the plugin.
  (define tool-urls (list #f))
  ;; Some of the tests we have are broken; don't try to
  ;; compile them.
  (define compile-omit-paths (list "tests"

  (define required-core-version "4.0")
  (define repositories '("4.x"))
  ;; The following are commented out because they don't work well
  ;; for people who don't have permission to write to the default bin
  ;; directory.  So instead, we have a separate ''
  ;; module that should do this work.
  #;(define mzscheme-launcher-names '("generate-stags"))
  #;(define mzscheme-launcher-libraries '(""))