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