Accepted mcrl2 201202.0-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 16 Feb 2012 15:24:08 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201202.0-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <paulvt@debian.org>
Changed-By: Jeroen Keiren <jkeiren@win.tue.nl>
Description:
mcrl2 - formal specification language toolset
Changes:
mcrl2 (201202.0-1) unstable; urgency=low
.
* New upstream release.
* debian/patches/series,
debian/patches/lintian_fixes.patch:
- Dropped because it has been incorporated upstream.
* debian/rules:
- Set MCRL2_PACKAGE_RELEASE, which is required by upstream for
proper version numbering.
* debian/watch:
- Update to the official naming convention used by upstream.
* debian/copyright:
- Update the copyright period.
Checksums-Sha1:
82a4027ea3edb9b74176f9e9518f15969876f5ad 1432 mcrl2_201202.0-1.dsc
2b687fce0f73498643d9fab0ee9090505d74d4ee 8809442 mcrl2_201202.0.orig.tar.gz
1b76d983cdb03def4bb2f2e653706a2973bf510a 6650 mcrl2_201202.0-1.debian.tar.gz
67ca327fb2039556e657c8e11f2e6cc6189b279d 12838104 mcrl2_201202.0-1_amd64.deb
Checksums-Sha256:
dca1d4cd0a05fa906b5daf9d98dcbe8957b703f55f1dc546ec1e93fefd8d3405 1432 mcrl2_201202.0-1.dsc
5c49b6882e1947fd5dddda5e14aba9aff56bfae75cb8182565dba6cba291d07f 8809442 mcrl2_201202.0.orig.tar.gz
6bec5e644a287529bb9e8f72db750b662d732a11e555748b1f33e4a10f9012c1 6650 mcrl2_201202.0-1.debian.tar.gz
c16917b1897e5c409077621b786ac0f082ff388b0af3c851f5332e7ef2ce0f3b 12838104 mcrl2_201202.0-1_amd64.deb
Files:
c67cb7b361887eae69a732d383423d70 1432 math extra mcrl2_201202.0-1.dsc
0daef61cbe0621397d7b7971dc38788a 8809442 math extra mcrl2_201202.0.orig.tar.gz
780babd02e7b6f967d6957fb00407829 6650 math extra mcrl2_201202.0-1.debian.tar.gz
e76cdac45ae4acd2540e5d300d2bb712 12838104 math extra mcrl2_201202.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk9GbR8ACgkQJBBhylAGQYE97wCfUt+3FXAiplhn0kila//uNLL1
L+gAn1FD6XrLySTLA+PGzG8+8jKOYw5F
=ZVKl
-----END PGP SIGNATURE-----
Accepted:
mcrl2_201202.0-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201202.0-1.debian.tar.gz
mcrl2_201202.0-1.dsc
to main/m/mcrl2/mcrl2_201202.0-1.dsc
mcrl2_201202.0-1_amd64.deb
to main/m/mcrl2/mcrl2_201202.0-1_amd64.deb
mcrl2_201202.0.orig.tar.gz
to main/m/mcrl2/mcrl2_201202.0.orig.tar.gz