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: '234'
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
Relation | Direction | Type | Name | |
---|---|---|---|---|
built-using | Source package | cofoja_1.3-4.1 |
|
|
built-using | Binary package | dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dpkg_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dselect-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dselect_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | libdpkg-dev_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dpkg-dev_1.22.12~1.gbp82cafd_all |
|
|
built-using | Binary package | libdpkg-perl_1.22.12~1.gbp82cafd_all |
|
|
extends | Package upload | cofoja_1.3-4.1 |
|