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

Accepted clasp 2.0.1-2 (source amd64)



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

Format: 1.8
Date: Wed, 22 Jun 2011 19:44:48 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 clasp      - conflict-driven nogood learning answer set solver
Closes: 631270
Changes: 
 clasp (2.0.1-2) unstable; urgency=low
 .
   * control: Setup as Debian Science project.
     - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
       Krennwallner.
     - Set DM-Upload-Allowed to yes.
     - Convert bzr repository to git and use Vcs-Git and Vcs-Browser
     accourdingly.
   * patches/clasp-ld-as-needed.patch: Bug fix: "FTBFS with ld
     --as-needed", thanks to stefanor@debian.org; (Closes: #631270).
Checksums-Sha1: 
 d4a9c4b31b817d4a324f3593847c652ceace6526 1304 clasp_2.0.1-2.dsc
 5594d716c8c43f55da5d3a585ad6a2464b64831f 6385 clasp_2.0.1-2.debian.tar.gz
 95d5b0801616618c633826f2d1a4668a3494f5dc 366990 clasp_2.0.1-2_amd64.deb
Checksums-Sha256: 
 08c8b4182c15f633853b513ab1785fec855ea69e0db587d7131de18cfd7e83d9 1304 clasp_2.0.1-2.dsc
 9f29b28a754c681423dca7d2e9d43808f6e146ec0039317f8aaa9f98db7ac3f5 6385 clasp_2.0.1-2.debian.tar.gz
 cd981d167a75ebb72ce6c385e68aa8165f14f5a166b3e0c6cd424e423fbd2ed5 366990 clasp_2.0.1-2_amd64.deb
Files: 
 663f84d9a236871194c02554d10d0e2c 1304 interpreters extra clasp_2.0.1-2.dsc
 f94cdd048b014f8b2ef2b9fdf85e87cc 6385 interpreters extra clasp_2.0.1-2.debian.tar.gz
 843e42da741dae86dcb47700859ad8c5 366990 interpreters extra clasp_2.0.1-2_amd64.deb

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

iEYEARECAAYFAk4E1bsACgkQvx6dH3bVKsQ6WQCdE7zfJOxlFgg7fkIkt64bf2gb
SlEAoPC+AWgZZderwVQmdNcKI+UBaXYd
=0QtN
-----END PGP SIGNATURE-----


Accepted:
clasp_2.0.1-2.debian.tar.gz
  to main/c/clasp/clasp_2.0.1-2.debian.tar.gz
clasp_2.0.1-2.dsc
  to main/c/clasp/clasp_2.0.1-2.dsc
clasp_2.0.1-2_amd64.deb
  to main/c/clasp/clasp_2.0.1-2_amd64.deb


Reply to: