-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 06 Sep 2014 23:34:26 +0200 Source: mcrl2 Binary: mcrl2 Architecture: source amd64 Version: 201409.0-1 Distribution: unstable Urgency: low Maintainer: Sjoerd Cranen <scranen@win.tue.nl> Changed-By: Paul van Tilburg <paulvt@debian.org> Description: mcrl2 - formal specification language toolset Closes: 716195 716585 Changes: mcrl2 (201409.0-1) unstable; urgency=low . * New upstream release (closes: #716195, #716585) * debian/control: - Bumped standards-version to 3.9.5; no changes required - Set maintainer to Sjoerd Cranen (for now) * debian/rules: - Remove duplicate build/install - Move examples and manpage to correct directories Checksums-Sha1: bb4f047e3d4a613fbb3e8949d1f84e31e61dd4c9 1398 mcrl2_201409.0-1.dsc fe5c1039fd282ef86199cbea373d72d6b372a4d4 17457340 mcrl2_201409.0.orig.tar.gz 6af91f8b8ddb220e589f7afeb05b87994f16cf08 6644 mcrl2_201409.0-1.debian.tar.xz 9632ac957272fe613fc88d31b383e8172c685170 7958700 mcrl2_201409.0-1_amd64.deb Checksums-Sha256: b910cc1851745cb281f542e9965a377fcc850d146046956d7b63516c166941a6 1398 mcrl2_201409.0-1.dsc 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f 17457340 mcrl2_201409.0.orig.tar.gz 0a15fbd78c7f1a97b352637f10e656f0d6ee03eeed9d7c505f506c4583ff49d4 6644 mcrl2_201409.0-1.debian.tar.xz 086315d2b607fc7edb3c7edf527b853e74e79a66f0756cf61d43dd712fd39774 7958700 mcrl2_201409.0-1_amd64.deb Files: 2d1ee73c1851f6b656b83b2d36b37046 7958700 math extra mcrl2_201409.0-1_amd64.deb b56a003f0922a4ae4b9e6a24acf50853 1398 math extra mcrl2_201409.0-1.dsc a138131d377c9740a7d3ec4d058c0081 17457340 math extra mcrl2_201409.0.orig.tar.gz 7be56304b3728493b92ef41f017bb4d6 6644 math extra mcrl2_201409.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQMLl4ACgkQJBBhylAGQYEaPACfafOQkUEZyeHyoIY2BXiCcHVL UtgAn3Yclxzq+5oxVgwtJHYYFVhpIwI9 =wgAP -----END PGP SIGNATURE-----
