Package Details: metamath 0.199-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: 2024-11-18 08:34 (UTC)

Latest Comments

fjr commented on 2024-06-13 05:19 (UTC) (edited on 2024-06-13 05:19 (UTC) by fjr)

This seems like a common issue, as upstream does not use version numbers for downloads. Perhaps eventually it would be better to build package from the Git sources, that way a stable commit can be put in PKGBUILD: https://github.com/metamath/metamath-exe

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.