Accepted mcrl2 201107.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Oct 2011 15:28:23 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201107.1-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
Changes:
mcrl2 (201107.1-1) unstable; urgency=low
.
* New upstream bugfix release:
- Fixes infinite loop in lpsconfcheck.
* debian/README.source: Removed, the source is no longer cleaned.
* debian/TODO: Marked the boost-removal task as done!
* debian/patches/series,
debian/patches/lintian_fixes.patch:
- Dropped because it has been incorporated upstream.
* debian/rules:
- No longer set variables CMAKE_C_FLAGS_DEBUG, MCRL2_BUILD_IN_SOURCE,
and MCRL2_USE_BOOST_INTERNAL as they are no longer used by the
project.
* debian/watch: Updated to also track bugfix releases.
Checksums-Sha1:
b942851b736f265ac207224c29ddf4786565b10b 1432 mcrl2_201107.1-1.dsc
f5c4b00ab79152b5f5587d5dc53989b443000255 5127635 mcrl2_201107.1.orig.tar.gz
f5b8b604dcae3494b5a816a0919edccc4071249f 6873 mcrl2_201107.1-1.debian.tar.gz
482fd68e3f46fc6ae69d18be5d0454dcb4067044 14870708 mcrl2_201107.1-1_amd64.deb
Checksums-Sha256:
9291bcf7a58962f6975ec599749e20907c1c36493dcb674347954e34c76e95bd 1432 mcrl2_201107.1-1.dsc
fd15cda5099583df4ef01fb711cab33b7de2218b59c4a09fb557fe2254b4da7e 5127635 mcrl2_201107.1.orig.tar.gz
17d245642ab498d153a39c40ff663cc08405d9bca59047d02163f8108da31681 6873 mcrl2_201107.1-1.debian.tar.gz
fa243d646c54b7f566b83d372899bfb457bcb844b3b06071f111410934aea141 14870708 mcrl2_201107.1-1_amd64.deb
Files:
6f4c886904995d4b38b1ac725c70d1b8 1432 math extra mcrl2_201107.1-1.dsc
92cea7a1f2232ff1982d8a19c78264a2 5127635 math extra mcrl2_201107.1.orig.tar.gz
c44c429f2b618e9bc12dce31850dd086 6873 math extra mcrl2_201107.1-1.debian.tar.gz
a353b33c63a154b1c51ca495a646a3fd 14870708 math extra mcrl2_201107.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk7wYpIACgkQJBBhylAGQYEOPQCfQtbVBOiNERVFY+aRSmRdQtjt
PK4An3Aqg8pFaIfreq8bXR2/X2XN7D8v
=wHZJ
-----END PGP SIGNATURE-----
Accepted:
mcrl2_201107.1-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201107.1-1.debian.tar.gz
mcrl2_201107.1-1.dsc
to main/m/mcrl2/mcrl2_201107.1-1.dsc
mcrl2_201107.1-1_amd64.deb
to main/m/mcrl2/mcrl2_201107.1-1_amd64.deb
mcrl2_201107.1.orig.tar.gz
to main/m/mcrl2/mcrl2_201107.1.orig.tar.gz