Publishing details

• Published on 2020-12-01

Changelog

metamath (0.183-1~ppa1~bionic1) bionic; urgency=medium

  * Backport to Bionic

 -- Nicola Ferralis <email address hidden>  Tue, 01 Dec 2020 10:59:08 -0500

Builds

• amd64
• i386

Built packages

• metamath Language for mathematical proofs

Package files

• metamath_0.183-1~ppa1~bionic1.debian.tar.xz (1.9 KiB)
• metamath_0.183-1~ppa1~bionic1.dsc (1.8 KiB)
• metamath_0.183-1~ppa1~bionic1_amd64.deb (341.8 KiB)
• metamath_0.183-1~ppa1~bionic1_i386.deb (338.1 KiB)
• metamath_0.183.orig.tar.gz (436.7 KiB)