((synopsis
   "easy to use procondition and postcondition checks of procedures")
 (category lang-exts)
 (license "BSD")
 (test-dependencies simple-tests)
 (author "[[/users/juergen-lorenz|Juergen Lorenz]]")
 (version "1.1")
 (components (extension checks)))