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-databases
Sample databases for Metamath
http://us.metamath.org/mpeuni/mmset.html
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-03-04
sci-mathematics/metamath-databases: H -> COMMIT
5c69e44
Maciej Barć
committed on 2023-03-04 16:32:11 UTC
sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild
Commits on 2022-03-03
sci-mathematics/metamath-databases: new package; add 20220303 (2022.03.03 snapshot)
5d8de28
Maciej Barć
committed on 2022-03-03 04:55:06 UTC
sci-mathematics/metamath-databases/Manifest
sci-mathematics/metamath-databases/metadata.xml
sci-mathematics/metamath-databases/metamath-databases-20220303.ebuild