| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-12-23 | Update to 0.198. | aksr |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr |
| AUR : metamath.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-12-23 | Update to 0.198. | aksr |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr |