{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4e8b0258e0e20f9230f9fdac0ddec3e201c169e6","committime":"2023-03-13T21:57:24","packageid":75902,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"08156641467f5b945f6ae730aaddd5ab1d480ad0","committime":"2023-03-13T15:42:26","packageid":75902,"repoid":1,"summary":"sci-mathematics\/abc: new package; add 0_p20230313 and live"}],"dependencies":[{"block":false,"categoryid":381,"description":"Another cute console display library","ebuildids":[780854,780855],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"readline","packageid":53265}],"depending":[],"ebuilds":[{"archs":[],"ebuildid":780855,"firstseen":"2023-03-13T22:02:03.272341","license":"BSD","moddate":"2026-03-22T20:20:57","packageid":75902,"repoid":1,"slot":"0","uses":["readline","threads"],"version":"9999"},{"archs":["~amd64","~x86"],"ebuildid":780854,"firstseen":"2023-03-13T22:02:03.272341","license":"BSD","moddate":"2026-03-22T20:20:57","packageid":75902,"repoid":1,"slot":"0","uses":["readline","threads"],"version":"0_p20230313"}],"masks":[],"package":{"categoryid":317,"description":"System for sequential logic synthesis and formal verification","firstseen":"2023-03-13T22:02:03.272341","name":"abc","packageid":75902,"summary":"ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification."},"rdependencies":[{"block":false,"categoryid":381,"description":"Another cute console display library","ebuildids":[780854,780855],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"readline","packageid":53265}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/berkeley-abc\/abc\/","https:\/\/people.eecs.berkeley.edu\/~alanmi\/abc\/"],"uses":[{"defaultflag":true,"description":"Enable support for libreadline, a GNU line-editing library that almost everyone wants","isdefault":true,"use":"readline"},{"defaultflag":true,"description":"Add threads support for various packages. Usually pthreads","isdefault":true,"use":"threads"}]}