Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
metamath
Proof verifier based on a minimalistic formalism
http://us.metamath.org/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
sci-mathematics/metamath/metadata.xml
Commits on 2021-12-25
sci-mathematics/metamath: change maintainer to Gentoo Mathematics Project
d00b11a
Maciej Barć
committed on 2021-12-25 20:40:42 UTC
sci-mathematics/metamath/metadata.xml
Commits on 2021-11-26
sci-mathematics/metamath: change patch filename
543a643
Maciej Barć
committed on 2021-11-26 13:08:08 UTC
sci-mathematics/metamath/files/metamath-configure.ac-dont_force_optimize.patch
sci-mathematics/metamath/metamath-0.198.ebuild
sci-mathematics/metamath/files/dont_force_optimize.patch
sci-mathematics/metamath: new package; add version 0.198
cb54986
Maciej Barć
committed on 2021-11-26 09:44:12 UTC
sci-mathematics/metamath/Manifest
sci-mathematics/metamath/files/dont_force_optimize.patch
sci-mathematics/metamath/metadata.xml
sci-mathematics/metamath/metamath-0.198.ebuild
Packages
Ulrich Müller committed on 2022-01-25 18:37:45 UTC
Maciej Barć committed on 2021-12-25 20:40:42 UTC