Package Details: metamath 0.198-1

Git Clone URL: https://aur.archlinux.org/metamath.git (read-only, click to copy)
Package Base: metamath
Description: A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
Upstream URL: http://us.metamath.org/
Licenses: GPL
Submitter: aksr
Maintainer: aksr
Last Packager: aksr
Votes: 1
Popularity: 0.000000
First Submitted: 2014-09-15 10:25 (UTC)
Last Updated: 2022-12-23 22:21 (UTC)

Latest Comments

dryneuron commented on 2021-01-23 13:20 (UTC)

metamath.tar.gz fails checksum, perhaps same version from refusenick's 2019-10-27 issue.

refusenick commented on 2019-10-27 22:12 (UTC)

metamath.tar.gz fails its checksums. Building with makepkg -si in a clean directory.