{"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":"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":[847814],"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":[818634],"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."}],"ebuilds":[{"archs":["amd64","x86"],"ebuildid":847814,"firstseen":"2024-12-13T13:39:24.768361","license":"Apache-2.0","moddate":"2024-12-28T19:50:22","packageid":77178,"repoid":1,"slot":"0","uses":["ada_target_gcc_12","ada_target_gcc_13","ada_target_gcc_14","ada_target_gcc_15","ada_target_gnat_2021","shared","static-libs","static-pic","test"],"version":"24.0.0-r2"}],"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":"2e91124203ca06aeb2c92ae97feeecd17fa0ec59","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"},{"description":"Compile with dev-lang\/gnat-gpl-2021","group":"ada_target","isdefault":false,"use":"gnat_2021"}]}