{"bugs":[{"bugid":951006,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-lang\/spark: please port to pypy3.11"}],"categories":[{"categoryid":430,"name":"dev-ada","summary":"The dev-ada category contains libraries and utilities relevant to the Ada programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92d30042341ebbd6468b69c10fbe76a5a9556dbd","committime":"2026-03-29T19:15:58","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"negril.nx+gentoo@gmail.com","authorname":"Paul Zander","body":"multiprocessing backward deprecated makeopts_* in <EAPI-9, breaking CI\n\nDone via:\n```\ngrep -RP '(?<!get_)makeopts_jobs'\nsed -e 's\/(\\(makeopts_jobs\\))\/\\(get_\\1)\/g' -i *\/*\/*.ebuild eclass\/*.eclass\nsed -e 's\/(\\(makeopts_jobs\\)\/\\(get_\\1\/g' -i *\/*\/*.ebuild eclass\/*.eclass\n\ngrep -RP '(?<!get_)makeopts_loadavg'\nsed -e 's\/(\\(makeopts_loadavg\\))\/\\(get_\\1)\/g' -i *\/*\/*.ebuild eclass\/*.eclass\nsed -e 's\/(\\(makeopts_loadavg\\)\/\\(get_\\1\/g' -i *\/*\/*.ebuild eclass\/*.eclass\n```\n\nSigned-off-by: Paul Zander <negril.nx+gentoo@gmail.com>\nPart-of: https:\/\/codeberg.org\/gentoo\/gentoo\/pulls\/426\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"c43aa667b7a018e842f7e01e01180496a9a0e4fe","committime":"2026-03-26T19:58:50","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: use get_makeopts_*"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bbb35957e9eeb9cbeab09208af09354a3b8d64f5","committime":"2025-04-11T20:05:11","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/836784\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"be578a6b00bb48d2c7b31414640c5a9e3853b076","committime":"2025-04-11T19:55:31","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: use ADAFLAGS for build"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"06809f333a0ad61a9e28b46abbc1a0b88f845b08","committime":"2025-04-10T18:35:23","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Bug: https:\/\/bugs.gentoo.org\/951006\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"09797cd2fd6ea76e250af5e404be70f12efb8962","committime":"2025-04-10T18:24:14","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: disable pypy3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcce332e6611a3be8783f05785360f8cc6a6aab5","committime":"2025-02-26T20:49:21","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"13be708a0ea4ce19003ff0b18c3e2aa72d167407","committime":"2025-02-26T20:37:24","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: drop 2021"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd78fd9045f851af04433d22fa07cc82a549ac06","committime":"2025-02-19T20:18:45","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"630c1768eabf47367856c2f039b4422f586e1666","committime":"2025-02-19T20:01:54","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: build Production - add arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9536b4701046c7c27dc36335f19fd01d46070a47","committime":"2025-02-11T18:03:32","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7a318d683e40f78a4e07f3e599d5ff4f35b5c7d8","committime":"2025-02-11T17:48:24","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"7964917133bd5fc53e412f168c702be8c89f3493","committime":"2025-02-11T17:45:43","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: fix python deps"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"3010edcdaad2fb5979f46c373da4985c729e427e","committime":"2025-02-11T17:27:56","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: add 2024.01.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88715b95e049ef5bf1877490f37e56ccc724bdbe","committime":"2024-11-26T19:33:16","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"0a99de74bc41ce4e6f433d1b5b7c84425ae257ab","committime":"2024-11-26T19:18:49","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: VariableOrderWrong"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2c926e4fd4b45836fd8766829c30b9c793c2a38c","committime":"2022-02-06T19:21:21","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"1ca8fc7f801eebf420c7d1b7193bc43648f9eb34","committime":"2022-02-06T17:41:18","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: drop python deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f22c5008fb37eed96731dc0bfeea99a291a0616b","committime":"2021-12-26T00:36:40","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Sam James <sam@gentoo.org>","commitid":"5f96ec80a5eb9f56f5111b88ccb9060acf2aedcf","committime":"2021-12-26T00:07:45","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: drop trailing full stop from DESCRIPTION"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"81f3d089e7d17072ce7411f917c18c0ea67a1a80","committime":"2021-09-15T19:51:19","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"ff046aa1c687b69b8c7ed9bbdb96eb598ddcee4c","committime":"2021-09-15T19:42:49","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: UnusedInherits"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93cd987c6f2f265f7f7d5622500e37180a3e3dec","committime":"2021-06-22T07:21:15","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"96d71541ba688bdf0a86d857b78ad7902b3862a0","committime":"2021-06-22T07:07:00","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: remove old version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cac8f22a68053a3fe2b7330ffedb9c9b20ac9883","committime":"2021-06-21T20:51:17","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bb62448a62d1bb8bb7d6857f970422aa84d86906","committime":"2021-06-21T20:36:17","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"dd85fc72ef380a6bd87457d16a2fa9e562366f1f","committime":"2021-06-21T20:34:37","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: patch gnatls command"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"96a3ac953c4bdd21b64dc92507f62d325bed8536","committime":"2021-06-21T20:25:25","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: version bump to 2021"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"df6dc717a0b3212bfabe08ed5ff7968113314f9f","committime":"2019-12-01T17:45:52","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"ed28a08c44b7e0d4cd6a8ab3c662549a4ffafc40","committime":"2019-12-01T17:35:39","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: version bump"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"17b271bd1c2d9162c427bc36c92cc14ec1f80219","committime":"2019-11-09T19:25:45","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"056b0b356da86b6a8eecb74ba2989e8fb44dd7a8","committime":"2019-11-09T19:05:44","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: remove old version"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"7f7eec6d6db52190470818dc45f7340393745df8","committime":"2019-11-09T19:02:18","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: stable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"161526ac75b8ea68ffa442dba1201111736c92bc","committime":"2019-11-08T19:25:45","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"22f1d8b3762029116adf9d5ebd3b5db422b89e31","committime":"2019-11-08T19:00:28","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: fix compile"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5760f7de28aec28f277d6f3c6839aa768f08f0c6","committime":"2019-11-07T18:49:28","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"03b4a341de8137dbbd040ae26e4659b28e8798ed","committime":"2019-11-07T18:15:23","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: use the ada eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fa52dcac9cbb6ab16b42feb0480793fb08d1b558","committime":"2019-11-04T07:08:46","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone <tupone@gentoo.org>","commitid":"e8e6b26af6e31c4cd79903cda3830f2364247d09","committime":"2019-11-04T06:59:09","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: remove old version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3c3c72e67b8d202e0837d301e69d187c22468fc1","committime":"2018-12-16T08:43:55","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Signed-off-by: Alfredo Tupone <tupone@gentoo.org>\nPackage-Manager: Portage-2.3.51, Repoman-2.3.11","commitid":"2776edd97ed40cfb4a9228d7c7916949cb59a9a6","committime":"2018-12-16T08:37:23","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Stable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"646e0f605c57db6a2d25720e2d162807052e1a5f","committime":"2018-07-15T14:44:10","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.40, Repoman-2.3.9","commitid":"363cc8e281fc5159beadfae16b287d7f578cff07","committime":"2018-07-15T14:36:47","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Fix path for gnatls"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"14949dcb57f92ab597999199c33734b9360429e2","committime":"2018-07-15T08:44:13","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.40, Repoman-2.3.9","commitid":"228032327ba5efdef41a23138d9c4cd2dd74c5e4","committime":"2018-07-15T08:21:33","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Version bump to 2018"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"141ca4e9013dda9063256c07facbaeb14e44968c","committime":"2018-06-26T19:45:54","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/658554\nPackage-Manager: Portage-2.3.40, Repoman-2.3.9","commitid":"2a44c2ce8dff33d5381fbaa1f39740f612145712","committime":"2018-06-26T19:25:16","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Fix build."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e7f45e756d26d0e5b79d4d84d7a35c3d20cd78ed","committime":"2017-11-06T21:18:38","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"a4c2721780b707858cb55d8651efc34add614913","committime":"2017-11-06T21:10:52","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Re-allow zip in sci-mathematics\/why3-for-spark"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"ca67b86d6e09e2c7f1703a6b520f198d008680a0","committime":"2017-11-05T19:31:54","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"40e581e9adb9355ae55c4c277a79625a0162aece","committime":"2017-11-05T19:13:41","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: disable zip on why3"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4c6fc9364703739876c3454454fe88c9c8923c47","committime":"2017-10-29T16:43:39","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"90fb97d461d2bc1118357c065f4b35259379eb6c","committime":"2017-10-29T16:39:05","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Fix dev-ada\/gnatcoll use depend"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"dd885fe807af7a0c0360235e2813ed5d060befcd","committime":"2017-10-21T18:45:58","packageid":68098,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"f406928d9d838acf1e6052aa6a056c87af77952d","committime":"2017-10-21T18:20:11","packageid":68098,"repoid":1,"summary":"dev-lang\/spark: Add dev-lang\/spark"}],"dependencies":[{"block":false,"categoryid":430,"description":"Multi-Language Management","ebuildids":[854617],"firstseen":"2017-03-23T14:36:45.594904","name":"gprbuild","packageid":66683,"summary":"GPRbuild is an advanced software tool designed to help automate the construction of multi-language systems. It removes complexity from multi-language development by allowing developers to quickly and easily compile and link software written in a combination of languages including Ada, Assembler, C, C++, and Fortran. Easily extendable by users to cover new toolchains and languages it is primarily aimed at projects of all sizes organized into subsystems and libraries and is particularly well-suited for compiled languages."},{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[854617],"firstseen":"2017-10-14T07:25:18.254331","name":"alt-ergo","packageid":68081,"summary":"Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing."},{"block":false,"categoryid":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[854617],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":430,"description":"GNAT Component Collection Core packages","ebuildids":[854617],"firstseen":"2018-06-12T20:33:19.940328","name":"gnatcoll-core","packageid":69174,"summary":"The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications."},{"block":false,"categoryid":430,"description":"LibGPR2 - Parser for GPR Project files","ebuildids":[854617],"firstseen":"2022-12-16T13:07:39.277611","name":"gpr","packageid":75676}],"depending":[],"ebuilds":[{"archs":["~amd64","~arm64"],"ebuildid":854617,"firstseen":"2025-02-19T20:28:41.266924","license":"GPL-3","moddate":"2026-03-29T19:22:42","packageid":68098,"repoid":1,"slot":"0","uses":["ada_target_gcc_12","ada_target_gcc_13","ada_target_gcc_14","ada_target_gcc_15","ada_target_gcc_16","doc"],"version":"2024.01.11-r2"}],"masks":[],"package":{"categoryid":450,"description":"Software development for high-reliability applications","firstseen":"2017-10-21T19:07:57.494219","name":"spark","packageid":68098,"summary":"SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements."},"rdependencies":[{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[854617],"firstseen":"2017-10-14T07:25:18.254331","name":"alt-ergo","packageid":68081,"summary":"Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing."},{"block":false,"categoryid":317,"description":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[854617],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":430,"description":"GNAT Component Collection Core packages","ebuildids":[854617],"firstseen":"2018-06-12T20:33:19.940328","name":"gnatcoll-core","packageid":69174,"summary":"The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications."},{"block":false,"categoryid":430,"description":"LibGPR2 - Parser for GPR Project files","ebuildids":[854617],"firstseen":"2022-12-16T13:07:39.277611","name":"gpr","packageid":75676}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/libre.adacore.com"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Compile with sys-devel\/gcc:12","group":"ada_target","isdefault":false,"use":"gcc_12"},{"description":"Compile with sys-devel\/gcc:13","group":"ada_target","isdefault":false,"use":"gcc_13"},{"description":"Compile with sys-devel\/gcc:14","group":"ada_target","isdefault":false,"use":"gcc_14"},{"description":"Compile with sys-devel\/gcc:15","group":"ada_target","isdefault":false,"use":"gcc_15"},{"description":"Compile with sys-devel\/gcc:16","group":"ada_target","isdefault":false,"use":"gcc_16"}]}