((synopsis "Design by contract for procedures")
 (category lang-exts)
 (license "BSD")
 (dependencies checks)
 (test-dependencies checks simple-tests)
 (author "[[Juergen Lorenz]]")
 (version "1.0")
 (components (extension simple-contracts)))