Search Criteria
Package Details: metamath 0.198-1
Package Actions
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.