Ubuntu
metamath-databases package

metamath-databases 0.0.0~20210101.git55fe226-2 source package in Ubuntu

Changelog

metamath-databases (0.0.0~20210101.git55fe226-2) unstable; urgency=medium

  * Fix Multi-Arch header in the wrong stanza.

 -- Giovanni Mascellani <email address hidden>  Wed, 06 Jan 2021 09:37:47 +0100

Upload details

Uploaded by:
Giovanni Mascellani
Uploaded to:
Sid
Original maintainer:
Giovanni Mascellani
Architectures:
all
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

Builds

Hirsute: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
metamath-databases_0.0.0~20210101.git55fe226-2.dsc 1.4 KiB cd135617e6bc9251c7dfe28cb82d27a9ddfe3d60b57aadcbc9a49effcad13432
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 12.3 MiB 2be8655e3ff170fb3097c50b9100c082dbe987257a6b9e81f0c757e5fe484a4b
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz 3.1 KiB fdce0a2618e94350cfeb46c9d2358405651c4585d8e71d26515c726cc25e8623

No changes file available.

Binary packages built by this source

metamath-databases: Sample databases for Metamath

 Metamath is a tiny language for expressing theorems in abstract
 mathematics, accompanied by proofs that can be verified by a computer
 program.
 .
 This package contains a number of Metamath databases developed
 collectively by people from the Metamath project, including set.mm
 (Metamath Proof Explorer) and others available at http://us.metamath.org/.
 .
 You can edit and verify these databases with any tool implementing the
 Metamath language, including the reference implementation available in
 the package metamath.