deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: libasm-java (>= 7.0)
Description: |-
Java API for annotating code with contracts
Contracts for Java is a contract programming framework for Java, which
uses annotation processing and bytecode instrumentation to provide
run-time checking.
.
Contracts for Java enables you to annotate your code with contracts
in the form of preconditions, postconditions and invariants.
.
These contract annotations are:
- easy to write and read
- checked at runtime
Annotating code with contracts helps you:
* design,
* document,
* test, and
* debug
programs.
Homepage: https://github.com/nhatminhle/cofoja
Installed-Size: '236'
Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Package: libcofoja-java
Priority: optional
Section: java
Source: cofoja
Version: 1.3-4.1
srcpkg_name: cofoja
srcpkg_version: 1.3-4.1