Accepted mcrl2 201107-1 (source amd64)

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

Format: 1.8
Date: Mon, 18 Jul 2011 16:03:38 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201107-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <paulvt@debian.org>
Changed-By: Paul van Tilburg <paulvt@debian.org>
Description: 
 mcrl2      - formal specification language toolset
Closes: 625156
Changes: 
 mcrl2 (201107-1) unstable; urgency=low
 .
   * New upstream release (closes: #625156).
   * debian/control:
     - Bumped standards version to 3.9.2.
     - Removed the initial "the mCRL2" from the description.
     - Added a build depend on libgl2ps-dev.
   * debian/patches:
     - Removed fix_manpage_generation.patch; fixed upstream.
     - Added lintian_fixes.patch to resolve some lintian issues.
   * debian/rules;
     - Added targets build-arch and build-indep to comply with (future)
       policy.
Checksums-Sha1: 
 69d1eb0194ae2a87bf664a5acbb0e4d88a10b468 1381 mcrl2_201107-1.dsc
 8e8785ef838a66efb8dcf3ea7bbca4a3b998b2e3 5117504 mcrl2_201107.orig.tar.gz
 d5a605d493c03fbec54daf1748d75c37b53cd24d 8535 mcrl2_201107-1.debian.tar.gz
 747daed8a1efeaba4287766b746e5d5f563ad331 14866980 mcrl2_201107-1_amd64.deb
Checksums-Sha256: 
 060e201be3cbf0c13be945e5812ad9d35079b6d78c6147b42b37439cd3698599 1381 mcrl2_201107-1.dsc
 2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae 5117504 mcrl2_201107.orig.tar.gz
 52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca 8535 mcrl2_201107-1.debian.tar.gz
 5049287d57486699ae44cab1656a4b19dd25d090f652ff052c9b3181b6f24809 14866980 mcrl2_201107-1_amd64.deb
Files: 
 016085c681ef289517637eae880c9d99 1381 math extra mcrl2_201107-1.dsc
 f2b6dac7786815cc9f01635add8507d4 5117504 math extra mcrl2_201107.orig.tar.gz
 dcface5f027717ca00192af2fc05f168 8535 math extra mcrl2_201107-1.debian.tar.gz
 36ee03939cea2e7f9e408eb756a429aa 14866980 math extra mcrl2_201107-1_amd64.deb

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

iEYEARECAAYFAk4lLU0ACgkQJBBhylAGQYHSowCffqqcICwGLUsy2d7DOfjuTq60
EnMAoJAsmU41oCCeYrVbxjhBedKU/dqi
=aY4M
-----END PGP SIGNATURE-----


Accepted:
mcrl2_201107-1.debian.tar.gz
  to main/m/mcrl2/mcrl2_201107-1.debian.tar.gz
mcrl2_201107-1.dsc
  to main/m/mcrl2/mcrl2_201107-1.dsc
mcrl2_201107-1_amd64.deb
  to main/m/mcrl2/mcrl2_201107-1_amd64.deb
mcrl2_201107.orig.tar.gz
  to main/m/mcrl2/mcrl2_201107.orig.tar.gz