Accepted mcrl2 201409.0-1 (source amd64) into unstable
-----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-----