{"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":"86257ab84886ecbebf90e9e891d3490a1c8d1e35","committime":"2023-03-04T16:46:55","packageid":74524,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"5c69e44b38a73f7123a59cd42316f0f0d29172ad","committime":"2023-03-04T16:04:03","packageid":74524,"repoid":1,"summary":"sci-mathematics\/metamath-databases: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"de25b6a9ae80ba7e5edfe17a7f46a1024542b1da","committime":"2022-03-03T05:06:49","packageid":74524,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"5d8de28b5685e7d68e5c5b6110f4389aa54a38f5","committime":"2022-03-03T04:42:32","packageid":74524,"repoid":1,"summary":"sci-mathematics\/metamath-databases: new package; add 20220303 (2022.03.03 snapshot)"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":741728,"firstseen":"2022-03-03T05:27:02.264092","license":"CC0-1.0","moddate":"2023-03-04T16:59:41","packageid":74524,"repoid":1,"slot":"0","uses":["doc"],"version":"20220303"}],"masks":[],"package":{"categoryid":317,"description":"Sample databases for Metamath","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."},"rdependencies":[{"block":false,"categoryid":317,"description":"Proof verifier based on a minimalistic formalism","ebuildids":[741728],"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."}],"repos":[{"branch":"master","lastcommit":"f4f46fea83689cc97daf96524b07a909df1bab59","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/us.metamath.org\/mpeuni\/mmset.html","https:\/\/github.com\/metamath\/set.mm\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"}]}