((synopsis "Design by contract for procedures")
 (category lang-exts)
 (license "BSD")
 (dependencies checks)
 (test-dependencies checks simple-tests)
 (author "Juergen Lorenz")
 (version "1.0.1")
 (components (extension simple-contracts (csc-options "-d0" "-O3"))))