[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#741646: marked as done (ITP: libcofoja-java -- Java API providing annotating code with contracts)



Your message dated Mon, 17 Mar 2014 17:00:08 +0000
with message-id <E1WPatU-0002Eu-Jo@franck.debian.org>
and subject line Bug#741646: fixed in libcofoja-java 1.1-r150-1
has caused the Debian Bug report #741646,
regarding ITP: libcofoja-java -- Java API providing annotating code with contracts
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
741646: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741646
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

--- Please fill out the fields below. ---

   Package name: libcofoja-java
        Version: 1.1-r150
Upstream Author: 2010-2011 Google, Inc.
                 2010-2011, 2013 Nhat Minh Lê
                 2007 Johannes Rieken
            URL: https://code.google.com/p/cofoja/
        License: LGPL-2.1+
    Description: Java API providing annotating code with contracts
 Contracts for Java enables annotating code with contracts in the form of
 preconditions, postconditions and invariants.
 .
 These contract annotations are
  * easy to write and read,
  * and checked at runtime. 
 Annotating code with contracts helps you:
  * design,
  * document,
  * test, and
  * debug
 programs.

--- End Message ---
--- Begin Message ---
Source: libcofoja-java
Source-Version: 1.1-r150-1

We believe that the bug you reported is fixed in the latest version of
libcofoja-java, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 741646@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Diane Trout <diane@ghic.org> (supplier of updated libcofoja-java package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 14 Mar 2014 15:13:27 -0700
Source: libcofoja-java
Binary: libcofoja-java
Architecture: source all
Version: 1.1-r150-1
Distribution: unstable
Urgency: low
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Diane Trout <diane@ghic.org>
Description: 
 libcofoja-java - Java API providing annotating code with contracts
Closes: 741646
Changes: 
 libcofoja-java (1.1-r150-1) unstable; urgency=low
 .
   * Initial release (Closes: #741646)
Checksums-Sha1: 
 f61a61c0853485844eb58117ceffdc6f68f29adf 2079 libcofoja-java_1.1-r150-1.dsc
 7d725446b441089592eca22ef3d491543b039328 77256 libcofoja-java_1.1-r150.orig.tar.xz
 598c776ca3ef16aa3004655587ad90dbd19bff4c 3080 libcofoja-java_1.1-r150-1.debian.tar.xz
 1c20d1520cd50e038830b5511c56dd454e887f39 407154 libcofoja-java_1.1-r150-1_all.deb
Checksums-Sha256: 
 73ef5318b758d3c61423212ad6a85dc6b22fb1d0a6c1e55ff70069c987a82cf9 2079 libcofoja-java_1.1-r150-1.dsc
 13178c02c6c9758073923b54b644f049a018d39f54ded23e08588147ac139320 77256 libcofoja-java_1.1-r150.orig.tar.xz
 39a277689b317716d0091fbc085b706df996a8fb17634ac6f32568220c44075d 3080 libcofoja-java_1.1-r150-1.debian.tar.xz
 93b98a47ca304a0a44538ad8131bd38cc7f2580eea09b56970e83ff4103ce341 407154 libcofoja-java_1.1-r150-1_all.deb
Files: 
 833fa963fe192f6acc1765aadb68ebd5 2079 java optional libcofoja-java_1.1-r150-1.dsc
 8d3eae1acd8101afbd4882c8efc0d50b 77256 java optional libcofoja-java_1.1-r150.orig.tar.xz
 b8e0e2f07bd787c57cd56875f8144b07 3080 java optional libcofoja-java_1.1-r150-1.debian.tar.xz
 3545704642c5b13f52b46044492926ac 407154 java optional libcofoja-java_1.1-r150-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJTJX99AAoJEFeKBJTRxkbRddMP/iNgwdVKlT4BOqAjH51UdnEW
xuUknrx4p9Rkg8oMcKXz3hYvQyhbql2jPbmc72WRhWxwJdBf9P+NCxmXpXw3A510
L3zuKBuUJpz6rDymj0JjQDZd5rEw8tyny5zzkhmdJFMCaDB0F2LhPVoh+ycUsH0Y
3/nZ2dKTHjiNh20AEPeSupxMCElbV5OjREah5kK26T4LNJKkDoQ/0BB2LroiF1hV
zmUO6daIDnAgqSadFXgeTDNqHXnBiJLN6/RsYcEzMbJ1+Ra3gK9A/J0bRnJxcBGx
zGy68jWntt11FNWLv1UH1Dpcymgd3E/06ZMGd/GcQ/bbzvrtUQd1ptYIWUoioiLX
NlWP5ZF98l6GyaWvi6wglyILSioID6r1hNWpTznaJvh6lCEljwTPoSZ/mmQEvOij
bzjrXGfl0rZg6/1SQ/OcgAiJfVitH8bBS6RzZwlbI2dca9i8WBo3uhK3vFZQ7KR3
ttCaUQb3KIgvmDIOWjjLcVzN7VebrB5UE124RjykZRCCw/qjG3v81EHec/9HG7ds
Lx+hLRa0l+mB6lnTkJOtlk59bDsYyGPfzkXXXIbtzl3DAMlIwA5zKA8v6sC3NHNm
wFKy9tEjkAx7c+pJJ770t2s2uVWGhTqWDw7tO0YhjWvUDr7F19q44omJkONTzR9I
4F6zTFM4dEyo74puqlVu
=ZuhI
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: