Back to mcrl2 PTS page

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