Accepted mcrl2 201107-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 18 Jul 2011 16:03:38 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201107-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <paulvt@debian.org>
Changed-By: Paul van Tilburg <paulvt@debian.org>
Description:
mcrl2 - formal specification language toolset
Closes: 625156
Changes:
mcrl2 (201107-1) unstable; urgency=low
.
* New upstream release (closes: #625156).
* debian/control:
- Bumped standards version to 3.9.2.
- Removed the initial "the mCRL2" from the description.
- Added a build depend on libgl2ps-dev.
* debian/patches:
- Removed fix_manpage_generation.patch; fixed upstream.
- Added lintian_fixes.patch to resolve some lintian issues.
* debian/rules;
- Added targets build-arch and build-indep to comply with (future)
policy.
Checksums-Sha1:
69d1eb0194ae2a87bf664a5acbb0e4d88a10b468 1381 mcrl2_201107-1.dsc
8e8785ef838a66efb8dcf3ea7bbca4a3b998b2e3 5117504 mcrl2_201107.orig.tar.gz
d5a605d493c03fbec54daf1748d75c37b53cd24d 8535 mcrl2_201107-1.debian.tar.gz
747daed8a1efeaba4287766b746e5d5f563ad331 14866980 mcrl2_201107-1_amd64.deb
Checksums-Sha256:
060e201be3cbf0c13be945e5812ad9d35079b6d78c6147b42b37439cd3698599 1381 mcrl2_201107-1.dsc
2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae 5117504 mcrl2_201107.orig.tar.gz
52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca 8535 mcrl2_201107-1.debian.tar.gz
5049287d57486699ae44cab1656a4b19dd25d090f652ff052c9b3181b6f24809 14866980 mcrl2_201107-1_amd64.deb
Files:
016085c681ef289517637eae880c9d99 1381 math extra mcrl2_201107-1.dsc
f2b6dac7786815cc9f01635add8507d4 5117504 math extra mcrl2_201107.orig.tar.gz
dcface5f027717ca00192af2fc05f168 8535 math extra mcrl2_201107-1.debian.tar.gz
36ee03939cea2e7f9e408eb756a429aa 14866980 math extra mcrl2_201107-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4lLU0ACgkQJBBhylAGQYHSowCffqqcICwGLUsy2d7DOfjuTq60
EnMAoJAsmU41oCCeYrVbxjhBedKU/dqi
=aY4M
-----END PGP SIGNATURE-----
Accepted:
mcrl2_201107-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201107-1.debian.tar.gz
mcrl2_201107-1.dsc
to main/m/mcrl2/mcrl2_201107-1.dsc
mcrl2_201107-1_amd64.deb
to main/m/mcrl2/mcrl2_201107-1_amd64.deb
mcrl2_201107.orig.tar.gz
to main/m/mcrl2/mcrl2_201107.orig.tar.gz