| Age | Commit message | Author |
|---|---|---|
| 2022-12-23 | Update to 0.198. | aksr |
| 2020-06-08 | Update to 0.182. | aksr |
| 2019-11-01 | Update to 0.178. | aksr |
| 2019-08-06 | Update to 0.177. | aksr |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr |
| 2015-10-06 | Update to 0.118. | aksr |
| 2015-06-28 | Start. | aksr |
| Clone | ||
| https://aur.archlinux.org/metamath.git/ | ||