[ubuntu/yakkety-proposed] mcrl2 201409.0-1ubuntu2 (Accepted)

[Gianfranco Costamagna]

mcrl2 (201409.0-1ubuntu2) yakkety; urgency=medium

  * Rebuild against libgl2ps1.

Date: Tue, 31 May 2016 12:37:01 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mcrl2/201409.0-1ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 31 May 2016 12:37:01 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201409.0-1ubuntu2
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201409.0-1ubuntu2) yakkety; urgency=medium
 .
   * Rebuild against libgl2ps1.
Checksums-Sha1:
 279357850427d6562592931fd670ab7c4d78e22c 2145 mcrl2_201409.0-1ubuntu2.dsc
 90a89bd52afabc342e0dc087c159fdda7b1949e8 6920 mcrl2_201409.0-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 fb3c744f18fb8574d159bf195e3c62701535467a4c9a3d05208b454c8394193e 2145 mcrl2_201409.0-1ubuntu2.dsc
 88d3bbf16bea3422e272694d7899102a03fea0c316e21074d9f41f925887cf3e 6920 mcrl2_201409.0-1ubuntu2.debian.tar.xz
Files:
 f8ae110ab01e0974e762ca15a20d1ba8 2145 math extra mcrl2_201409.0-1ubuntu2.dsc
 40f590f2950c89400d0926c46ee6f2e0 6920 math extra mcrl2_201409.0-1ubuntu2.debian.tar.xz
Original-Maintainer: Sjoerd Cranen <scranen at win.tue.nl>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXTWlOAAoJEPNPCXROn13ZkIQP/1njYZ56IoMFTlLS6/l59KWQ
XyPHLhKdAEMqG0hiFrTJNQgl70Wa2OJ5gH9ONWYfz2CpOquFtl9QDG7DuEAikdu3
zJUGoy1lsgoQWHvbElaa+fniiqcFSRe1c4aF+jmBMOdp+xmE44tGyGVPKtwFE43F
IYLA2AEqhKuTYOiCpf5yqc5a36hmJwT77fz2HrRwFkneZpSrr49aFTFmIXWfyP8D
42nuXVULvFoyj0DKqQZLmFmBtrbEv3alaP+k6ADwVMcZcgAfFAuJFEQcGY04BzFj
5F4SKY6rA3dIg3AatHIi1gMMCfMZhLgXo4BJY1GJ+kqEEMS4ouOJd18FL+mW22g6
BGI7VlKEprWNYStfvn0jC6vZMs3w7RFDVIcUDnSXN8c657ZAxZ3ZEqsRgbWjK5lg
Dg9qIlumxyycDLlXwud2Vf5qSKZ0U4tI2N/eb6u+vZePIDbuEr9q8UHGOFPcxAl5
iXSx3kUjeYJJ8PkFarfABe3cEMWRIwzq0aAqtxLr4eoK0vqQ+X8rSgv7iq7aVg5U
SDzZ2AWb3X3SKvRjFJE60Btdq0nui94+sGiRyRrqnbwWXzil58B/byZgVpR+BDM0
01cC6Jf/95+PDse7iK1kSYM8nIHZl1z7X0+OinU6/4VnbHPVx3HyTu3bVIY6Ee5A
M815gLXzQmfXV+wKcqaA
=MNx6
-----END PGP SIGNATURE-----