((synopsis
   "easy to use procondition and postcondition checks of procedures")
 (category lang-exts)
 (license "BSD")
 (test-dependencies simple-tests)
 (dependencies simple-exceptions)
 (author "Juergen Lorenz")
 (version "1.4")
 (components (extension checks (csc-options "-d0" "-O3"))))