{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca1edc17df0c0aee79ae55695e07a3df4528ed60","committime":"2021-11-26T13:21:25","packageid":73601,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"543a6431c5085b03105132bec3e24576fdf4bfd6","committime":"2021-11-26T12:48:46","packageid":73601,"repoid":1,"summary":"sci-mathematics\/metamath: change patch filename"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5601a9b12766d1d7289b6f414e5ad182f0417bd6","committime":"2021-11-26T09:51:23","packageid":73601,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"cb54986d41de16df0fead12aa8323b130c81e01b","committime":"2021-11-26T09:43:50","packageid":73601,"repoid":1,"summary":"sci-mathematics\/metamath: new package; add version 0.198"}],"dependencies":[],"depending":[{"block":false,"categoryid":317,"description":"Sample databases for Metamath","ebuildids":[741728],"firstseen":"2022-03-03T05:27:02.264092","name":"metamath-databases","packageid":74524,"summary":"This is a collection of rigorously verified Metamath databases that specify mathematical axioms and formal proofs of theorems derived from those axioms."}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":731553,"firstseen":"2021-11-26T10:11:25.030426","license":"GPL-2","moddate":"2026-03-22T20:20:57","packageid":73601,"repoid":1,"slot":"0","uses":[],"version":"0.198"}],"masks":[],"package":{"categoryid":317,"description":"Proof verifier based on a minimalistic formalism","firstseen":"2021-11-26T10:11:25.030426","name":"metamath","packageid":73601,"summary":"Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program."},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/us.metamath.org\/"],"uses":[]}