Format: 1.8
Date: Thu, 31 Dec 2020 15:04:42 -0800
Source: minlog
Binary: minlog
Built-For-Profiles: noudeb
Architecture: all
Version: 4.0.99.20100221-7
Distribution: kinetic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-009.buildd>
Changed-By: Vagrant Cascadian <vagrant@reproducible-builds.org>
Description:
 minlog     - Proof assistant based on first order natural deduction calculus
Closes: 978746
Changes:
 minlog (4.0.99.20100221-7) unstable; urgency=medium
 .
   * QA upload.
   * debian/rules: Set FORCE_SOURCE_DATE=1 in order for texlive to respect
     SOURCE_DATE_EPOCH for reproducible timestamps. (Closes: #978746)
   * debian/control: Set Rules-Requires-Root to "no".
   * debian/rules: Convert to using "dh".
   * Switch to debhelper-compat 13.
   * debian/rules: Add dh_auto_test override to allow failures.
   * debian/rules: Pass long-hand --exclude option to dh_compress.
   * debian/rules: Remove custom CFLAGS.
   * debian/rules: Remove test suite outputs dh_auto_test.
   * debian/control: Add Vcs headers.
   * debian/rules: Respect DEB_BUILD_OPTIONS=nocheck.
   * debian/rules: Disable parallel builds to fix build failure.
   * debian/control: Update Standards-Version to 4.5.1.
Checksums-Sha1:
 4a83aeff014b1521bd257d88b6804aa10e8d6f3d 2650366 minlog_4.0.99.20100221-7_all.deb
 4156a7847fbc7e1f1e943433eeb61dd30156fa32 7330 minlog_4.0.99.20100221-7_amd64.buildinfo
Checksums-Sha256:
 932c4d764857ea3e3299c6c3b5c57897d6d13755946b155f49c61da58cb38168 2650366 minlog_4.0.99.20100221-7_all.deb
 e8a1687f58c00388a10d8fa67aa2b4fbd9cb1f413bd39cc04cf3e03c460177b3 7330 minlog_4.0.99.20100221-7_amd64.buildinfo
Files:
 2ba134ad19d755628f1eaae49290b2b0 2650366 math optional minlog_4.0.99.20100221-7_all.deb
 69f78482e12dfe5ef9a0f249215ae1d4 7330 math optional minlog_4.0.99.20100221-7_amd64.buildinfo