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
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
- diff from 0.183-1 to 0.195-1 (257.9 KiB)
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