{"bugs":[],"categories":[{"categoryid":430,"name":"dev-ada","summary":"The dev-ada category contains libraries and utilities relevant to the Ada programming language."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"53cf11336e6a4b3f838eb60b01b1ac1fbba452c0","committime":"2025-05-04T09:54:57","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3e0ae4eed35eeb66c2edb94e61c0cf1798cb8d97","committime":"2025-05-04T09:34:23","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: enable gcc:15"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"1b7c81f99f564b93ca741c5ee64229562b4dbb6f","committime":"2025-05-04T09:31:35","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: drop 24.0.0-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7cc9826b95b6a98dabbf6def4f64a530c50ac237","committime":"2025-04-05T15:20:16","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/952265\nSigned-off-by: Alfredo Tupone ","commitid":"16cfcd5821a4e07e58a6ca63fdd6147e9bcfbb3e","committime":"2025-04-05T15:05:39","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: enable py3.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"add299172ac4d967669445d2069e8fff68a7e5b5","committime":"2025-03-10T00:33:38","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a2356b5253d53088deedfb4f547e0cc6642a1b10","committime":"2025-03-10T00:18:29","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: Stabilize 25.0.0 amd64, #951064"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e0244965f1a4e24a818d4741665eecfdaae6c56b","committime":"2025-03-10T00:15:02","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: Stabilize 25.0.0 x86, #951064"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"08b7109547f2b9b042e3555365f91dff1f4a5770","committime":"2025-01-26T18:22:37","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"111337ac451e79161f37cc051048042f2dcbcf12","committime":"2025-01-26T18:04:14","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: fix setup"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1f0cb995f6e0453740a6996f0517571cd83922c0","committime":"2025-01-24T20:48:22","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"edd45fc0ad133294dfc67092fa1fcada8d0a4d52","committime":"2025-01-24T20:37:28","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: keyword 25.0.0 for ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f377eee0c77eeea00755b47bc1a4515a0be4ca3f","committime":"2025-01-24T20:18:20","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"95b50978e128f04b01a72faca1b5a996930fa0e1","committime":"2025-01-24T19:59:44","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: add 25.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f2c9d58aa711a76ab3204aeb825af5ce77b0ea1f","committime":"2024-12-15T04:48:34","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3f055ced2737300a472130707e79652601f52cfb","committime":"2024-12-15T04:28:18","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: Stabilize 24.0.0-r2 x86, #944314"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cc41483527a7805c0fa4bc904ffbcdf573352431","committime":"2024-12-15T04:28:10","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: Stabilize 24.0.0-r2 amd64, #944314"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c32c2fb88a6ce4cf45fa19afbbb5d43cd78d3fb1","committime":"2024-12-13T13:33:17","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/946260\nSigned-off-by: Alfredo Tupone ","commitid":"3799cc85acfc1452f49b27692050617eb622daa9","committime":"2024-12-13T13:14:26","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: use python-any-r1 for test"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2bc7a0e182963aa964cf851b87db563079086456","committime":"2024-12-12T19:18:19","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/946260\nSigned-off-by: Alfredo Tupone ","commitid":"532fcf488cf38e2a5a8e423ca5126a4ae6cc5a2d","committime":"2024-12-12T19:12:49","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: add BDEPs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4885799a7d3cc7a00f7dc60d3bca524d8bd30395","committime":"2024-03-15T21:04:32","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"ef704e9fa3b9aab9585f17a478fc5d3e870e9ff8","committime":"2024-03-15T20:48:41","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: keyword 24.0.0 for ~x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bde54b574eeab7b6123dfdf40dc3da7f6c837175","committime":"2024-03-15T11:18:45","packageid":77178,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"f4c45c75a40d0a883bc23ee36b276ba913b9a915","committime":"2024-03-15T10:59:23","packageid":77178,"repoid":1,"summary":"dev-ada\/AdaSAT: new package, add 24.0.0"}],"dependencies":[{"block":false,"categoryid":430,"description":"Multi-Language Management","ebuildids":[851967],"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."}],"depending":[{"block":false,"categoryid":430,"description":"A Python framework to generate language parsers","ebuildids":[852068,862662],"firstseen":"2021-12-06T13:24:38.902760","name":"langkit","packageid":73714,"summary":"Langkit (nickname for language kit) is a tool whose purpose is to make it easy to create syntactic and semantic analysis engines. Write a language specification in our Python DSL and Langkit will generate for you an Ada library with bindings for the C and Python programming languages. The generated library is meant to provide a basis to write tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"block":false,"categoryid":430,"description":"a Language Server Protocol for Ada\/SPARK","ebuildids":[855056,855056],"firstseen":"2021-12-31T20:16:20.687442","name":"ada_language_server","packageid":73963},{"block":false,"categoryid":430,"description":"Opinionated code formatter for the Ada language","ebuildids":[854213,854213],"firstseen":"2025-02-16T20:10:22.750139","name":"gnatformat","packageid":78166}],"ebuilds":[{"archs":["amd64","x86","~arm64"],"ebuildid":851967,"firstseen":"2025-01-24T20:31:21.561455","license":"Apache-2.0","moddate":"2025-05-08T13:14:27","packageid":77178,"repoid":1,"slot":"0","uses":["ada_target_gcc_12","ada_target_gcc_13","ada_target_gcc_14","ada_target_gcc_15","shared","static-libs","static-pic","test"],"version":"25.0.0"}],"masks":[],"package":{"categoryid":430,"description":"Implementation of a DPLL-based SAT solver in Ada","firstseen":"2024-03-15T11:26:12.939600","name":"AdaSAT","packageid":77178,"summary":"Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories"},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"303fcb5e4a8750d32003c7fe4888730b702910c4","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/AdaCore\/AdaSAT"],"uses":[{"defaultflag":true,"description":"Build shared library","isdefault":true,"packageid":77178,"use":"shared"},{"description":"Build static versions of dynamic libraries as well","isdefault":false,"use":"static-libs"},{"description":"Build static library with pic code","isdefault":false,"packageid":77178,"use":"static-pic"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"},{"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"}]}