Accepted mcrl2 201202.0-2 (source amd64)
-----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