[ubuntu/quantal] sat4j 2.3.1-1ubuntu1 (Accepted)

[Jeremy Bicha]

sat4j (2.3.1-1ubuntu1) quantal; urgency=low

  * debian/ant.properties:
    - Use target=1.7 to fix build with OpenJDK7 (LP: #888997)

Date: Tue, 26 Jun 2012 11:49:17 -0400
Changed-By: Jeremy Bicha <jbicha at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/quantal/+source/sat4j/2.3.1-1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 26 Jun 2012 11:49:17 -0400
Source: sat4j
Binary: sat4j
Architecture: source
Version: 2.3.1-1ubuntu1
Distribution: quantal
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Jeremy Bicha <jbicha at ubuntu.com>
Description: 
 sat4j      - Efficient library of SAT solvers in Java
Launchpad-Bugs-Fixed: 888997
Changes: 
 sat4j (2.3.1-1ubuntu1) quantal; urgency=low
 .
   * debian/ant.properties:
     - Use target=1.7 to fix build with OpenJDK7 (LP: #888997)
Checksums-Sha1: 
 d6d986e7237004fa9d14ec274afbff300c496675 1929 sat4j_2.3.1-1ubuntu1.dsc
 2be03b9f1cf87a1a0803dcd873a130fab19157ee 11570 sat4j_2.3.1-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 d4868e90471b5ef5d6f023afdc5af06309b0d2dc8cac036a4158d51af2743fb5 1929 sat4j_2.3.1-1ubuntu1.dsc
 37394f625003567905a6458e5ad98e1ed433583389b192187fcb1990025caf8e 11570 sat4j_2.3.1-1ubuntu1.debian.tar.gz
Files: 
 af48e7b7fd7c447236309e04551b9378 1929 science optional sat4j_2.3.1-1ubuntu1.dsc
 05bd022dc8750ded3d35da4072fd9b68 11570 science optional sat4j_2.3.1-1ubuntu1.debian.tar.gz
Original-Maintainer: Michael Tautschnig <mt at debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBAgAGBQJP6dpXAAoJEOZsd1rr/mx9u+UP/2vBZ6gbZuIF9cdvF7OkW3Bh
5VkB4/ZSlfxcLYAtKpXSUbtHjjWnDWbsEWvbfwH0xPDF77OGWdfZRBYo+80BLSHG
4B5sgRUR4x0ARFseWfWU+MUqoFEp/ThkKgblx6dlYq8upfQlaEw29agcthYzPTNb
LxYPpRfkw28IwR5Ns0GA2tah65TzgD5RT+fXTRcwhkCP1Fs2DTcFAXmkN5hixBvu
O2OkC048L9RblEfBIlCiHmvKBrYwhL08FgQBjhB0a+MBMQCgKhKs9wriDqGlToAu
VP6hv+2xDL9KeuVpkPa1gKWtRf16EgdGGloQFW5v3LNezkVLRl6DTnEG5dImplpe
Vb68jPMH6+p9/x4uMtaYYvVQrnFYYuGFKoKBkCYBKZRTe1Yw29mYO12DrfMfHa40
RmWsWy1xpRI24s7YCod4VotvRecdxuqhNiIMqqJ5vpKc5/ecTTdotL3+q9PjD5u7
WlqLoAU/ctScXH0oWY/ocsjscPyogFK+M0jbb8x1ALbpVydXlldM096rSD7sO94P
cEQ65jOK8cOpISmkS/32lA0a6sAwXdhEDneJpvYTuGDGqGo81JTHBrpNyR67dUOH
+j+gqrX7I20ovq3CzJj6w6W1YX2VFn+hUhFIF8RacLyzUUECcxkhe6W3WqhdwaS7
K5sPgEyxPJledUo0XX7r
=o8pF
-----END PGP SIGNATURE-----