Format: 1.8
Date: Wed, 05 Jul 2017 11:06:34 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201707.1-1ubuntu1ppa2~zesty
Distribution: zesty
Urgency: medium
Maintainer: Wieger Wesselink <j.w.wesselink@tue.nl>
Changed-By: Wieger Wesselink <j.w.wesselink@tue.nl>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201707.1-1ubuntu1ppa2~zesty) zesty; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 292b84060226a528e2b811f46240d9edb12d6af3 1730 mcrl2_201707.1-1ubuntu1ppa2~zesty.dsc
 1506a9c52bb353672131b67f59ff0d0c77fabad9 17413390 mcrl2_201707.1.orig.tar.gz
 158fb593476aadf91a57bffd76ec3ad337d0b2f0 6672 mcrl2_201707.1-1ubuntu1ppa2~zesty.debian.tar.xz
Checksums-Sha256:
 719e02a25785c43ea38e46e3b682f698090d4d21484122c99606af7ced3c5df8 1730 mcrl2_201707.1-1ubuntu1ppa2~zesty.dsc
 2ccc9205624df593251339ee58a4bb9e20c3eab4a77f2c4345f1f517d535afdb 17413390 mcrl2_201707.1.orig.tar.gz
 3922dd78e243f215f77252e6cec8a7d3599839f65d38d1ea90d3ddbd4c10d270 6672 mcrl2_201707.1-1ubuntu1ppa2~zesty.debian.tar.xz
Files:
 4e6108f23a5ea261367090db0c124f99 1730 math extra mcrl2_201707.1-1ubuntu1ppa2~zesty.dsc
 e6c76312781f246329f25740589125d8 17413390 math extra mcrl2_201707.1.orig.tar.gz
 5724411887d88a6c2a1ea697785f5be8 6672 math extra mcrl2_201707.1-1ubuntu1ppa2~zesty.debian.tar.xz