clasp_3.0.1-1_mipsel.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Wed Feb 26 21:18:59 UTC 2014


Mapping sid to unstable.

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 25 Feb 2014 17:04:16 +0100
Source: clasp
Binary: clasp
Architecture: mipsel
Version: 3.0.1-1
Distribution: sid
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description: 
 clasp      - conflict-driven nogood learning answer set solver
Closes: 739628
Changes: 
 clasp (3.0.1-1) unstable; urgency=low
 .
   * New upstream release.
   * Bug fix: "3.0 cannot solve some problems solved by 2.1.4", thanks to
     Julian Andres Klode (Closes: #739628).
Checksums-Sha1: 
 6a4fe54634f4ec6209d363d947cc0957a548f573 397736 clasp_3.0.1-1_mipsel.deb
Checksums-Sha256: 
 76bb7c242a1a235f8a3bd2d71f2e99779d2db6ee908318113f803de800e27cd7 397736 clasp_3.0.1-1_mipsel.deb
Files: 
 df68d94ea0e6da79b80dc7ea7a3b13ed 397736 interpreters extra clasp_3.0.1-1_mipsel.deb

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

iQIcBAEBAgAGBQJTDklyAAoJEFJ4bhKi7xiWwkEP/0uQntUkPnbUubjQzpsmZH3h
5NRJk+ElXZZuhK2TQHRlhSjkX7IkTkFwob0lLaKzP7gIcqNA9PYP6MF2pvuCIxjE
LcAltSGrViwq9o6e2Yei2vhrkvAI7UA1/41jZTFOdarS+WBjTDpcphBnDYNyt88M
/u2RnX+ZAiLlSXJ7z2qN8VIr990sl8paJJtRl2Mv8+/xTtG36/VXC9/gbhGodQEn
HomIFyj7hFnvHRZZIAAlLNAJRIo2zHe3d660tTS21X/+92CtIFQ62I+jC9T32KPD
1yNv8Nfm7BVpLlBMg8SwXA7yDfSwlI5tJEQvY4bNIGO+2b/EfADDj97kHOCrEtYF
SS+yK3/vmlP99zQG/4t3SiwxoQKAE0rGD2r8jBgPLfxS67pdXR7fvFoAR54qkUWQ
TXbAZsilrFWmtfJJcIJWDQWN36GqpX0z3LmT7rZ3huTVrFx1Uagmbem1/H/l4l4y
tbDFUxDgEeda4jmszaLwibPR7cqi8FYkcGMGd63H8XZqHaDhGmor7HGUwZpCdeSz
koK9N+yCIAriqKlaO3MVYd2Idn4SlmZ0zprT/30TP1JimMUGaOqQvwu6vyxO8BTS
/SGxVEPaKw5oWedI8CK7frunzphV9hZc5pg1IEKIYn2vvWSYBQP8VTab24vkCc5k
iM9A//iv1oAkFpFL104r
=B1Wy
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list