{"bugs":[{"bugid":259476,"firstseen":"2025-07-11T02:48:40.189262","severity":"enhancement","status":"CONFIRMED","summary":"[science overlay] sci-mathematics\/gappa (New package)"}],"categories":[{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e7b55509858b599b2be09a27d3829055a8aeed34","committime":"2024-01-15T21:33:16","packageid":75712,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"5b146a49465814fa38af6cdbc4196b9c327b78c4","committime":"2024-01-15T20:12:22","packageid":75712,"repoid":1,"summary":"sci-mathematics\/gappa: bump to 1.4.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6e288cd66e2a6decf926f97186f12f9082581588","committime":"2022-12-24T22:32:58","packageid":75712,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"9b9060fd68135b5e071175fc3f7db977b7c65f6b","committime":"2022-12-24T21:55:31","packageid":75712,"repoid":1,"summary":"sci-mathematics\/gappa: new package; add 1.4.1"}],"dependencies":[{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":393,"description":"Library for multiple-precision floating-point computations with exact rounding","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"mpfr","packageid":46074},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[{"block":false,"categoryid":317,"description":"Allows the certificates Gappa generates to be imported by the Coq","ebuildids":[778210,778210,783789,783789],"firstseen":"2022-12-24T22:51:22.910451","name":"gappalib-coq","packageid":75713}],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":812009,"firstseen":"2024-01-15T21:51:54.911193","license":"CeCILL-2 GPL-3+","moddate":"2026-03-28T18:04:21","packageid":75712,"repoid":1,"slot":"0","uses":["doc"],"version":"1.4.2"},{"archs":["~amd64","~x86"],"ebuildid":773007,"firstseen":"2022-12-24T22:51:22.910451","license":"CeCILL-2 GPL-3+","moddate":"2026-03-28T18:04:21","packageid":75712,"repoid":1,"slot":"0","uses":["doc"],"version":"1.4.1"}],"masks":[],"package":{"categoryid":317,"description":"Tool for verifying floating-point or fixed-point arithmetic","firstseen":"2022-12-24T22:51:22.910451","name":"gappa","packageid":75712,"summary":"Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic."},"rdependencies":[{"block":false,"categoryid":393,"description":"Boost Libraries for C++","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"cpp@gentoo.org","maintainername":"Gentoo C++ Project","name":"boost","packageid":45155},{"block":false,"categoryid":393,"description":"Library for multiple-precision floating-point computations with exact rounding","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"mpfr","packageid":46074},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[773007,812009],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"82366aa45a35f6900f43023917c2c86ccdbb00a3","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/gappa.gitlabpages.inria.fr\/","https:\/\/gitlab.inria.fr\/gappa\/gappa\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"}]}