deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Description: |-
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.
Homepage: http://us.metamath.org/
Installed-Size: '48088'
Maintainer: Giovanni Mascellani <gio@debian.org>
Multi-Arch: foreign
Package: metamath-databases
Priority: optional
Recommends: metamath
Section: math
Version: 0.0.0~20210101.git55fe226-2
srcpkg_name: metamath-databases
srcpkg_version: 0.0.0~20210101.git55fe226-2