-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 24 Feb 2012 16:16:02 +0100 Source: mcrl2 Binary: mcrl2 Architecture: source amd64 Version: 201202.0-2 Distribution: unstable Urgency: low Maintainer: Jeroen Keiren <jkeiren@win.tue.nl> Changed-By: Paul van Tilburg <paulvt@debian.org> Description: mcrl2 - formal specification language toolset Closes: 661092 Changes: mcrl2 (201202.0-2) unstable; urgency=low . [ Jeroen Keiren ] * Bugfix upload (closes: #661092). * debian/patches/series, debian/patches/dparser_header_fixes.patch: - Install headers belonging to dparser in their own directory. . [ Paul van Tilburg ] * debian/control: - Changed myself to uploaded, made Jeroen maintainer. - Bumped standards version to 3.9.3. Checksums-Sha1: 9ab890e8814caef6f10fd26076e4636a1c5dffbc 1478 mcrl2_201202.0-2.dsc 8298931aa58520866509ed8cf3d7052f0baa6504 6981 mcrl2_201202.0-2.debian.tar.gz 03de81cfe36672cde5c8bdcd23ecc591e3c59bb9 12838240 mcrl2_201202.0-2_amd64.deb Checksums-Sha256: 7f13109d9ec03af9ffa1b0aeabb7f1f9e3e5416d5ae4d4f563aaa5d656604b5f 1478 mcrl2_201202.0-2.dsc 461eae62657e4d2167fb7e9793578065203ce1d4f972f71c9492b82139cff2ff 6981 mcrl2_201202.0-2.debian.tar.gz 6d71ff5316eae4ae59fc2286bfcd414d55d84e9e65a5870f82677e60bd071f80 12838240 mcrl2_201202.0-2_amd64.deb Files: 552447b5db19f7d44690580694064993 1478 math extra mcrl2_201202.0-2.dsc 282a6e0184de9d8824e5b3effc637e0a 6981 math extra mcrl2_201202.0-2.debian.tar.gz b38af75c1c767873f4d498a1173ca60e 12838240 math extra mcrl2_201202.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk9HrlkACgkQJBBhylAGQYHHhACdEnO9nWRaT6SSJ1P46yr14mu9 7/sAoIUj0j3Ba0rIL6HzVAMW30z2Sxgy =Otv4 -----END PGP SIGNATURE----- Accepted: mcrl2_201202.0-2.debian.tar.gz to main/m/mcrl2/mcrl2_201202.0-2.debian.tar.gz mcrl2_201202.0-2.dsc to main/m/mcrl2/mcrl2_201202.0-2.dsc mcrl2_201202.0-2_amd64.deb to main/m/mcrl2/mcrl2_201202.0-2_amd64.deb
