Format: 1.8
Date: Thu, 17 Jun 2021 16:08:28 +0200
Source: mcrl2
Architecture: source
Version: 202106.0-1ubuntu1ppa1~focal
Distribution: focal
Urgency: medium
Maintainer: Maurice Laveaux <m.laveaux@tue.nl>
Changed-By: Maurice Laveaux <m.laveaux@tue.nl>
Changes:
 mcrl2 (202106.0-1ubuntu1ppa1~focal) focal; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 0f1d1ff0d412ce729d634253d3a25f24cec10a94 1847 mcrl2_202106.0-1ubuntu1ppa1~focal.dsc
 e8a44a6b344e9b79ddc573e56a57910119b016c2 8004867 mcrl2_202106.0.orig.tar.gz
 d91af915f0f2635b180a55cd37a002ea8a0138ea 6780 mcrl2_202106.0-1ubuntu1ppa1~focal.debian.tar.xz
 d6e8a3c922680a22629d7022e8724a9f408c0ef0 11889 mcrl2_202106.0-1ubuntu1ppa1~focal_source.buildinfo
Checksums-Sha256:
 7af5aa8c88009c18503370ef7c9ad600a94466d264f4cbb0106c005bcf51a314 1847 mcrl2_202106.0-1ubuntu1ppa1~focal.dsc
 ad43ba4ec34f3d20ceebb2fdf0e01485a21bb47687a20dbcfd97a52d6119ddc0 8004867 mcrl2_202106.0.orig.tar.gz
 a3a6407f81f5389374e0b1d3ed6304978dcdbc5f24572d2a638468995707bcd3 6780 mcrl2_202106.0-1ubuntu1ppa1~focal.debian.tar.xz
 ebd311f978f7b4ea3c0c49b7fc0d0415bca9884d510286e19a21b9925fe9fcf8 11889 mcrl2_202106.0-1ubuntu1ppa1~focal_source.buildinfo
Files:
 d789a52bc344ef7c3f66f55ebb2723b0 1847 math extra mcrl2_202106.0-1ubuntu1ppa1~focal.dsc
 86aa19ac27390768ccd5adb0fadae622 8004867 math extra mcrl2_202106.0.orig.tar.gz
 0742cb80cdc38bdac1ca2b91a84cc0b7 6780 math extra mcrl2_202106.0-1ubuntu1ppa1~focal.debian.tar.xz
 47196059df94703f594c3fed0b035f53 11889 math extra mcrl2_202106.0-1ubuntu1ppa1~focal_source.buildinfo