Ubuntu
metamath package

metamath 0.195-1 source package in Ubuntu

Changelog

metamath (0.195-1) unstable; urgency=medium

  * New upstream release.
  * Bump Standards-Version to 4.5.1.
  * Bump debhelper compat level to 13.

 -- Giovanni Mascellani <email address hidden>  Fri, 01 Jan 2021 11:03:45 +0100

Upload details

Uploaded by:
Giovanni Mascellani
Uploaded to:
Sid
Original maintainer:
Giovanni Mascellani
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc
Mantic release universe misc
Lunar release universe misc
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
metamath_0.195-1.dsc 1.2 KiB 2e513020f3656d6fdee10dde7d7c05d781a9badcd8aad8b88cebdd28e3e35063
metamath_0.195.orig.tar.gz 455.9 KiB 382f913637c7a0e2ce3be34b889df9d4f251fb035a33d0444611722702742396
metamath_0.195-1.debian.tar.xz 1.9 KiB 810c198dd9a73449b80752cf1e32554f4884967ce0076224dc642ca76beb36f5

Available diffs

No changes file available.

Binary packages built by this source

metamath: Language for mathematical proofs

 Metamath is a tiny language for expressing theorems in abstract
 mathematics, accompanied by proofs that can be verified by a computer
 program.
 .
 This program is the reference implementation of the language. It
 provides a proof checker, a proof editor and tools to automatically
 render theorems and proofs to HTML and LaTeX files.
 .
 This package does not contain proof databases, but the tools to deal
 with them. The user can create their own databases, use those
 available on the Internet or provided by the metamath-databases
 package.

metamath-dbgsym: debug symbols for metamath