Accepted mcrl2 201210.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 26 Oct 2012 07:50:49 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201210.1-1
Distribution: unstable
Urgency: low
Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>
Changed-By: Jeroen Keiren <jkeiren@win.tue.nl>
Description:
mcrl2 - formal specification language toolset
Changes:
mcrl2 (201210.1-1) unstable; urgency=low
.
[ Jeroen Keiren ]
* New upstream (bugfix) release.
Checksums-Sha1:
76439d502ff804500cc453bcb48ecc7c44c331ef 1407 mcrl2_201210.1-1.dsc
00f27e63d61bec506c2a97422834618ef33ac338 8218004 mcrl2_201210.1.orig.tar.gz
97348447229fffd44f0b0db5c34206062d9fad2e 6955 mcrl2_201210.1-1.debian.tar.gz
9c7a189fc1996d71a33bffdc5e7cf860eef178ac 13269838 mcrl2_201210.1-1_amd64.deb
Checksums-Sha256:
0953c557f4dba66c2d6856091d4b50689e392e79b90da6122b4f6150b73d1efc 1407 mcrl2_201210.1-1.dsc
52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4 8218004 mcrl2_201210.1.orig.tar.gz
c725c5c3a24ca3f56f7d9c57503de4011d829f0fc590852906e4eabb5369742e 6955 mcrl2_201210.1-1.debian.tar.gz
792df460ac6064128365da5451bfa820d76c70515b35397e490b6ad3b1f605f1 13269838 mcrl2_201210.1-1_amd64.deb
Files:
8c4cea0728c305b013278a9a49abe7c2 1407 math extra mcrl2_201210.1-1.dsc
b4bffa70ba40a087fa04f0f9aa066f86 8218004 math extra mcrl2_201210.1.orig.tar.gz
81a66fc0ef11b4e22bd7b5387f8d24c0 6955 math extra mcrl2_201210.1-1.debian.tar.gz
00653cd4a841359ba66cb9f4b55dc675 13269838 math extra mcrl2_201210.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlCRdJwACgkQJBBhylAGQYEbMACgkZAbw9dDMgs+eTCelC0dWrGL
1yUAnisxOux5RYx6+YKnpbehFNRCzu/P
=d64d
-----END PGP SIGNATURE-----