mcrl2 (201409.0-1ubuntu2) yakkety; urgency=medium * Rebuild against libgl2ps1.
Date: Tue, 31 May 2016 12:37:01 +0200 Changed-By: Gianfranco Costamagna <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/mcrl2/201409.0-1ubuntu2
-----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 <[email protected]> Changed-By: Gianfranco Costamagna <[email protected]> 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 <[email protected]> -----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-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
