Publishing details

• Published on 2023-04-25
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

mathlibtools (1.1.0-1) unstable; urgency=medium

  * New upstream release (1.1.0)
  * Bump Standards-Version from 4.5.1 to 4.6.0.1 (no change required)

 -- Christopher Hoskin <email address hidden>  Sun, 19 Sep 2021 20:49:07 +0100

Builds

Built packages

• mathlibtools supporting tool for Lean mathlib

Package files

• mathlibtools_1.1.0-1.debian.tar.xz (2.2 KiB)
• mathlibtools_1.1.0-1.dsc (2.0 KiB)
• mathlibtools_1.1.0-1_all.deb (21.9 KiB)
• mathlibtools_1.1.0.orig.tar.gz (31.6 KiB)