Publishing details

• Published on 2021-10-15
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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.

 -- Vagrant Cascadian <email address hidden>  Thu, 31 Dec 2020 15:04:42 -0800

Builds

Built packages

• minlog Proof assistant based on first order natural deduction calculus

Package files

• minlog_4.0.99.20100221-7.debian.tar.xz (4.5 KiB)
• minlog_4.0.99.20100221-7.dsc (1.4 KiB)
• minlog_4.0.99.20100221-7_all.deb (2.5 MiB)
• minlog_4.0.99.20100221.orig.tar.gz (1.1 MiB)