-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 11 Apr 2010 17:18:35 +0200 Source: mcrl2 Binary: mcrl2 Architecture: source amd64 Version: 201001+svn7611-1 Distribution: unstable Urgency: low Maintainer: Paul van Tilburg <paulvt@debian.org> Changed-By: Paul van Tilburg <paulvt@debian.org> Description: mcrl2 - the mCRL2 formal specification language toolset Closes: 573844 573943 573944 577289 Changes: mcrl2 (201001+svn7611-1) unstable; urgency=low . * New SVN snapshot upload: - Features renaming of sim and xsim to lpssim and lpsxsim (closes: #573944). - Features renaming of grape to grapemcrl2 (closes: #573943). - Fixes documentation/examples install issue. * debian/control: - Changed build-depends to build against Boost 1.42. Closes: #573844, #577289. * debian/rules: - Removed documentation directory mkdir/mv/rmdir commands from the install target now that this is fixed upstream. * debian/source/format: Switched to source format 3.0 (quilt). Checksums-Sha1: 66f9a3e51f7de46fc70947dd979870fee973adb5 1513 mcrl2_201001+svn7611-1.dsc ca24c8ecd5a19d9faba96109baf017a6fa9dd7cb 4834726 mcrl2_201001+svn7611.orig.tar.gz 12e85a838724ca2ef7ea24bff6c2081cfa34c772 5320 mcrl2_201001+svn7611-1.debian.tar.gz 0c6f358d023f8e05f71ef3222f418a9b904b3fea 9745058 mcrl2_201001+svn7611-1_amd64.deb Checksums-Sha256: f6d4d8426338b2b22e2c7a91db4e4f8ea61d9e6d107c4d5092eebb47b7f7ba80 1513 mcrl2_201001+svn7611-1.dsc 1bcc26b9b2a32266e2ec85aacdee53e03c9153f96b45dd5c66f2240f1d682422 4834726 mcrl2_201001+svn7611.orig.tar.gz 978541891edb64aadf1c5839a9e3f29e377d39e4d054edf84ab9f491f6be8291 5320 mcrl2_201001+svn7611-1.debian.tar.gz 61b79ebb7afc201a3e9a7b2764771dc48b4d5107dd7ce1e70a171fb56ce82fc4 9745058 mcrl2_201001+svn7611-1_amd64.deb Files: 22fb54eab7ce33bba029b701020e7aed 1513 math extra mcrl2_201001+svn7611-1.dsc 86832e7eab20463ac4839db3ae463e4f 4834726 math extra mcrl2_201001+svn7611.orig.tar.gz 9086527c4b713d15f91d02c05bc2f239 5320 math extra mcrl2_201001+svn7611-1.debian.tar.gz af84fc177e3ee934afd044896eb52f41 9745058 math extra mcrl2_201001+svn7611-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvCBWwACgkQJBBhylAGQYFlfgCeKUP6tACybdcUBImWNMYUpHWQ 3tgAnRrXowWvdqAz2aYdhoAQizHybArg =BlZH -----END PGP SIGNATURE----- Accepted: mcrl2_201001+svn7611-1.debian.tar.gz to main/m/mcrl2/mcrl2_201001+svn7611-1.debian.tar.gz mcrl2_201001+svn7611-1.dsc to main/m/mcrl2/mcrl2_201001+svn7611-1.dsc mcrl2_201001+svn7611-1_amd64.deb to main/m/mcrl2/mcrl2_201001+svn7611-1_amd64.deb mcrl2_201001+svn7611.orig.tar.gz to main/m/mcrl2/mcrl2_201001+svn7611.orig.tar.gz
