Accepted mcrl2 201103-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 25 Mar 2011 09:19:56 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201103-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: 615678
Changes:
mcrl2 (201103-1) unstable; urgency=low
.
* New upstream release (closes: #615678).
* Upload to unstable.
* debian/patches:
- Added fix_manpage_generation.patch to fix macro errors in
some man pages (fix from rev. 9060).
* debian/rules:
- Do man-page generation the right way (enabled MCRL2_MAN_PAGES).
* debian/watch:
- Changed the .bz2 suffix into .gz.
Checksums-Sha1:
8b9f6a6b808240028800cb50cc5ca45a977236c1 1367 mcrl2_201103-1.dsc
85f029754795dc31dd289125a1f6cb8bcbe6cf8e 5021666 mcrl2_201103.orig.tar.gz
675c6ad1884d9d7684fe16f9f6bd6da1c1ba7f47 6723 mcrl2_201103-1.debian.tar.gz
afe927028fb56a26f2ee78c0dd69593b27cdbd85 14396068 mcrl2_201103-1_amd64.deb
Checksums-Sha256:
100c200d943631aa19cf99cf75d29fd6b1a516facd6fa1e670fabca731ddbbf1 1367 mcrl2_201103-1.dsc
1d6760492e422c2c05f914eb44afe77b7c8bb9976ef0cf0d4c3d4b81f5845683 5021666 mcrl2_201103.orig.tar.gz
e412127a47efb6d5deceff0e00d61286bbab63a2cbc33ccb572b7b42c49e4b22 6723 mcrl2_201103-1.debian.tar.gz
f26548d669a41b060bd4a7b88d5fc28f06326744f5cdf18f42c810e487864067 14396068 mcrl2_201103-1_amd64.deb
Files:
ef086bc16dcbfc315a9cbfbb3c2188fb 1367 math extra mcrl2_201103-1.dsc
d6bec0a99ac01a72e4c97182f1774611 5021666 math extra mcrl2_201103.orig.tar.gz
ac524b53b7abc51dcb32b464e910781f 6723 math extra mcrl2_201103-1.debian.tar.gz
1162cbabcdb688fbb2f3246e2a015baf 14396068 math extra mcrl2_201103-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2MhJYACgkQJBBhylAGQYHjXgCffcSuwvfUZEdIED65nIWCGQhF
G+cAn1SPFZU02TJFGlUOzntUcP6lK5gL
=20R4
-----END PGP SIGNATURE-----
Accepted:
mcrl2_201103-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201103-1.debian.tar.gz
mcrl2_201103-1.dsc
to main/m/mcrl2/mcrl2_201103-1.dsc
mcrl2_201103-1_amd64.deb
to main/m/mcrl2/mcrl2_201103-1_amd64.deb
mcrl2_201103.orig.tar.gz
to main/m/mcrl2/mcrl2_201103.orig.tar.gz