| Age | Commit message (Collapse) | 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 (Collapse) | Author | |
|---|---|---|---|
| 2022-12-23 | Update to 0.198. | aksr | |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr | |