Accepted mcrl2 201001+svn7611-1 (source amd64)
-----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