Publishing details

Published on 2015-10-22
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

cofoja (1.1-r150-2) unstable; urgency=medium


  * Team upload.
  * New upstream release
    - Removed the patch setting the source encoding for javac (fixed upstream)
    - Refreshed 01-remove-version-from-generated-jar.patch
    - Replaced the dependency on libasm3-java with libasm4-java
  * Fixed the compilation errors with Java 8
  * Compile Cofoja's own contracts
  * Enabled the unit tests
  * Removed debian/local.properties, use Ant command line arguments instead
  * debian/control:
    - Removed the dependency on libasm3-java for the binary package and added
      a Built-Using field instead since cofoja.jar contains the ASM classes
    - Standards-Version updated to 3.9.5 (no changes)
    - Updated the package description
    - Added Andreas Tille and Diane Trout as uploaders
    - Use canonical URLs for the Vcs-* fields
  * Don't add asm.jar to the Class-Path of cofoja.jar's manifest since
    the library is embedded
  * Switch to debhelper level 9
  * Replaced debian/get-orig-source.sh with debian/orig-tar.sh
    and made it work with uscan
  * Changed the get-orig-source target in debian/rules to call uscan
  * Use XZ compression for the upstream tarball

 -- Emmanuel Bourg <email address hidden>  Wed, 04 Jun 2014 16:24:00 +0200

Available diffs

diff from 1.0~r139-2 to 1.1-r150-2 (13.1 KiB)

Builds

Built packages

libcofoja-java Java API for annotating code with contracts

Package files

cofoja_1.1-r150-2.debian.tar.xz (4.0 KiB)
cofoja_1.1-r150-2.dsc (2.0 KiB)
cofoja_1.1-r150.orig.tar.xz (75.5 KiB)
libcofoja-java_1.1-r150-2_all.deb (593.8 KiB)