-----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 <jkei...@win.tue.nl> Changed-By: Jeroen Keiren <jkei...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ttdny-0003yx...@franck.debian.org
