Format: 1.8
Date: Thu, 17 Jun 2021 17:56:57 +0200
Source: mcrl2
Architecture: source
Version: 202106.0-1ubuntu1ppa1~groovy
Distribution: groovy
Urgency: medium
Maintainer: Maurice Laveaux <m.laveaux@tue.nl>
Changed-By: Maurice Laveaux <m.laveaux@tue.nl>
Changes:
 mcrl2 (202106.0-1ubuntu1ppa1~groovy) groovy; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 6eb9ef810b7b218be838761ff2d925eb4f7331ed 1851 mcrl2_202106.0-1ubuntu1ppa1~groovy.dsc
 e8a44a6b344e9b79ddc573e56a57910119b016c2 8004867 mcrl2_202106.0.orig.tar.gz
 5914119e6e1352a8078f5d3b45eadc5268c181be 6784 mcrl2_202106.0-1ubuntu1ppa1~groovy.debian.tar.xz
 f1e3ccbb76a15871786bcce084e1217334dceaa5 11893 mcrl2_202106.0-1ubuntu1ppa1~groovy_source.buildinfo
Checksums-Sha256:
 2a6373243d7df968bf4b6d972fc932b870243d09dd5da60c9831fbd12fd994bc 1851 mcrl2_202106.0-1ubuntu1ppa1~groovy.dsc
 ad43ba4ec34f3d20ceebb2fdf0e01485a21bb47687a20dbcfd97a52d6119ddc0 8004867 mcrl2_202106.0.orig.tar.gz
 81e75b585d2791f092d1dbeb9d62dae2b67ff6a93c627ea68312133063c8672f 6784 mcrl2_202106.0-1ubuntu1ppa1~groovy.debian.tar.xz
 3e6b09b802641c828ab5c710b577fe4529aae58bc423eeb9345202e2c1753eea 11893 mcrl2_202106.0-1ubuntu1ppa1~groovy_source.buildinfo
Files:
 537405f38178339c12cdeea8b5c7ddc1 1851 math extra mcrl2_202106.0-1ubuntu1ppa1~groovy.dsc
 86aa19ac27390768ccd5adb0fadae622 8004867 math extra mcrl2_202106.0.orig.tar.gz
 320b589b46668e252944c87acab6f6a5 6784 math extra mcrl2_202106.0-1ubuntu1ppa1~groovy.debian.tar.xz
 e2c53dd9cd40b1b780b683bb805b8e8a 11893 math extra mcrl2_202106.0-1ubuntu1ppa1~groovy_source.buildinfo