{"bugs":[],"categories":[{"categoryid":430,"name":"dev-ada","summary":"The dev-ada category contains libraries and utilities relevant to the Ada programming language."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":380,"name":"sys-devel","summary":"The sys-devel category contains various core system development tools and libraries."},{"categoryid":394,"name":"sys-fs","summary":"The sys-fs category contains filesystem tools and utilities."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3cd39abadb10eaa27d93249d5fb46ad63f027202","committime":"2025-03-07T19:18:32","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a8517b6bcab47569f4b2c8c75b61f227ca7f315c","committime":"2025-03-07T19:07:08","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: keyword 25.0.20241014-r2 for ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0a79843c8371d0b5dd7d4ddf2a00d15d489cd9f8","committime":"2025-03-04T21:05:38","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/882451\nSigned-off-by: Alfredo Tupone ","commitid":"ee8a151ad763f20ada42bec50167c275a8d81d8b","committime":"2025-03-04T20:51:54","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: respect LDFLAGS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"91d5a7d36129dd796a4f21335f51c03637c6c881","committime":"2025-03-04T19:03:20","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"5ca9b240e20ad6ee4fb5827b54bfdfe03a74abc1","committime":"2025-03-04T18:54:04","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop 24.0.1-r3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1c82b355056c65b0d79afbe22b370c0af194ae67","committime":"2025-02-24T20:48:35","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"d177dcbd83da58a5c018e2bcd23d5e9509170f33","committime":"2025-02-24T20:27:36","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop glib USE from spawn"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"66577a71b7349c41e43c8f9bc68117af17df33e1","committime":"2025-02-24T19:48:13","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: fix deps on VSS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ae7309974cbb8925396568db1941845bd85b148d","committime":"2025-02-23T21:33:25","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"075da364f37732f55c2a0481b1a37f53a1df8667","committime":"2025-02-23T21:18:25","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"755f74b43ac4400862708c2921a08ae463e09719","committime":"2025-02-23T21:17:32","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop 23.0.10-r3"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"29f54ae600da13fdac65f9f1c0410f1e111b4810","committime":"2025-02-23T21:12:17","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop gnat_2021 & gcc_12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"072b9272fec56c765de5b3a5de6cdac5d5e82cc2","committime":"2025-02-23T18:18:26","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"001959caa9d8b7f2dba1febf3eaf80ba09104d96","committime":"2025-02-23T18:07:22","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: put default use dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"15a533a29c6cbb86ef4c1f19c397cc0e097154b3","committime":"2025-02-23T14:34:18","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"4561bbfc49d7a8e23ef4016fc2b2fca942c4ec87","committime":"2025-02-23T14:26:21","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: 25.0 supports only gcc_14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f45bc659b071aac7bac0a01714d3bfad2c565b6d","committime":"2025-02-23T07:33:27","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a01a6590e4bc06a58e7ce60e05a909edffc7eedf","committime":"2025-02-23T07:26:47","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: add 25.0.20241014"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"88715b95e049ef5bf1877490f37e56ccc724bdbe","committime":"2024-11-26T19:33:16","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8b8b3c82eaa9154417106da883a0b220b7ece4de","committime":"2024-11-26T19:03:29","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: VariableOrderWrong"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a23b0e0b6897d692fdb4846015d6c6286eac2145","committime":"2024-03-20T18:49:11","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"dd3919eb091c862351c11b5df64919d374a98a65","committime":"2024-03-20T18:39:32","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: add 24.0.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a2fab9bfb14c30eabf79ede7b20a16e5eb059ae8","committime":"2023-12-19T20:16:54","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"347d6cdc870034b9a545c5adc7fa3c06872f5664","committime":"2023-12-19T20:00:29","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: enable gcc:13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c5db4360e1d88fe3e2355e33cec88b70e21938f4","committime":"2023-03-21T21:16:53","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a626d57d0206396ea44c178d162b5bbbbd39927a","committime":"2023-03-21T20:57:51","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop gcc_12_2_0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a723ee6b008cd88c1cc0ce1965a963b30d315b4b","committime":"2023-03-21T07:31:54","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"83599e5a125c160dbff06f223dfabc0a0d62ea79","committime":"2023-03-21T07:19:38","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: EAPI 8 gcc_12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"65d5c79194a7288209999fb04368f8b4f21f3305","committime":"2023-02-05T20:46:52","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"ae93910db8be01e92c3bf0dc1a25c7e9388313ab","committime":"2023-02-05T20:41:06","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop 22.0.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7e1f4555ecdeb6d6054872deb5dd504dbe5c1751","committime":"2023-01-26T19:46:54","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"8f0315d423fcb2b555b6b8363d13202a030324e1","committime":"2023-01-26T19:36:06","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: fswatch has subslot"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"62caa033eeab299461e6936ef6616362a9f8d3d7","committime":"2022-12-18T21:02:04","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"576b92059ce91b0ced793443da1322dad590e75b","committime":"2022-12-18T20:56:45","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: add 23.0.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2fa2873405f657eeb1743b53e13a08854299e575","committime":"2022-12-15T17:47:02","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3f80d05a0af968b322d76e87cbe39e0f6d0daa5e","committime":"2022-12-15T17:33:48","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: fix deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"51dbab23cb23a5f064b5f2ec96386b4e73af45fb","committime":"2022-11-26T22:01:58","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/883091\nSigned-off-by: Alfredo Tupone ","commitid":"967b60cd1e55847482331dfe2fd7bba2514bb396","committime":"2022-11-26T21:47:47","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: Tests are not working now"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"30938c350e81fb3e6f6afec8d82281cfb276dbdc","committime":"2022-11-25T21:48:47","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/882445\nSigned-off-by: Alfredo Tupone ","commitid":"b2f70d7d57b5a3d66d80bd804d6c4e1be31c4987","committime":"2022-11-25T21:37:34","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: use tc-getCXX to get g++"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f44e26ae8398846deeba4bcecda31547d25805a","committime":"2022-11-21T17:46:46","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"49946d9131b770905664b92485772c27ffd62a00","committime":"2022-11-21T17:31:08","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: drop support for gnat_2020"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c3cbbc6f3fd8ff55a3ece14c88437c1fd8925143","committime":"2022-10-04T20:48:54","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"3f462f4014fcd0fb988d5c39d40f8f6c57f9dc80","committime":"2022-10-04T20:37:45","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: add gcc_12_2_0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"845c39c1e20805f69138186f7a2a181470c8ff47","committime":"2022-03-16T17:49:20","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/834715\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"4314e79ae3e18297ea540349cdb50307cb639922","committime":"2022-03-16T17:35:28","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: fix deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"436bf518300481de6c71bb2989c7c6dcd6204fc9","committime":"2022-02-03T20:36:45","packageid":73963,"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 ","commitid":"69a5ff3a3b7a9e247fc893613c9c47bd08df97c0","committime":"2022-02-03T20:16:22","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: ~x86"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4d7d011a4dfc3335494d25b2e70ca2c3f97d9198","committime":"2022-01-02T11:06:45","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"50622c72f2937cc924317839dc11972fee54c0d4","committime":"2022-01-02T10:51:49","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: install a missing library"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a52412e317939ea4b37ec6fc153095918b67f914","committime":"2021-12-31T20:06:56","packageid":73963,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"adced8d39f4203bf4ba4c2818b9bef93d27baa18","committime":"2021-12-31T19:48:35","packageid":73963,"repoid":1,"summary":"dev-ada\/ada_language_server: Language Server for Ada\/SPARK"}],"dependencies":[{"block":false,"categoryid":380,"description":"The GNU Compiler Collection","ebuildids":[855056],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gcc","packageid":54038},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[855056],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":430,"description":"Set of modules that provide a simple manipulation of XML streams","ebuildids":[855056],"firstseen":"2017-03-27T16:49:32.067838","name":"xmlada","packageid":66691,"summary":"XML\/Ada is a set of modules that provide a simple manipulation of XML streams. It supports the whole XML 1.1 specifications, and can parse any file that follows this standard (including the contents of the DTD, although no validation of the document is done based on those). It also provides support for a number of other standard associated with XML, like SAX, DOM and XML schemas. In addition, it includes a module to manipulate Unicode streams, since this is required by the XML standard."},{"block":false,"categoryid":430,"description":"Ada library to handle GPRbuild project files","ebuildids":[855056],"firstseen":"2017-12-02T21:41:25.762783","name":"libgpr","packageid":68491,"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":430,"description":"GNAT Component Collection Core packages","ebuildids":[855056],"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":"GNAT Component Collection","ebuildids":[855056],"firstseen":"2018-06-22T07:43:05.450548","name":"gnatcoll-bindings","packageid":69206,"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":"A Python framework to generate language parsers","ebuildids":[855056],"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":"high performance semantic engine for the Ada programming language","ebuildids":[855056],"firstseen":"2021-12-15T22:29:46.775560","name":"libadalang","packageid":73758,"summary":"Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"block":false,"categoryid":430,"description":"Libadalang-based tools: gnatpp, gnatmetric and gnatstub","ebuildids":[855056],"firstseen":"2021-12-17T08:16:58.396755","name":"libadalang-tools","packageid":73760},{"block":false,"categoryid":430,"description":"Simple API to spawn processes","ebuildids":[855056],"firstseen":"2021-12-26T19:23:03.021169","name":"spawn","packageid":73912,"summary":"This library provides simple API to spawn processes and communicate with them. We provide two implementations of the same API - the integrated into Glib event loop and the independent."},{"block":false,"categoryid":430,"description":"A high level string and text processing library","ebuildids":[855056],"firstseen":"2021-12-27T16:03:48.686430","name":"VSS","packageid":73916},{"block":false,"categoryid":394,"description":"cross-platform file change monitor with multiple backends","ebuildids":[855056],"firstseen":"2021-12-29T22:54:47.630928","name":"fswatch","packageid":73925},{"block":false,"categoryid":430,"description":"Ada binding to the libfswatch library","ebuildids":[855056],"firstseen":"2021-12-30T14:17:43.586944","name":"ada_libfswatch","packageid":73927},{"block":false,"categoryid":430,"description":"A template engine","ebuildids":[855056],"firstseen":"2022-12-14T08:11:03.746645","name":"templates-parser","packageid":75674,"summary":"The templates parser package has been designed to parse files and to replace some specific tags into these files by some specified values."},{"block":false,"categoryid":430,"description":"LibGPR2 - Parser for GPR Project files","ebuildids":[855056],"firstseen":"2022-12-16T13:07:39.277611","name":"gpr","packageid":75676},{"block":false,"categoryid":430,"description":"GNAT Documentation Generation Tool","ebuildids":[855056],"firstseen":"2022-12-18T20:21:39.969418","name":"gnatdoc","packageid":75680},{"block":false,"categoryid":430,"description":"Implementation of a DPLL-based SAT solver in Ada","ebuildids":[855056],"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"},{"block":false,"categoryid":430,"description":"Refactoring tools for the Ada programming language","ebuildids":[855056],"firstseen":"2024-03-20T18:51:39.975853","name":"lal-refactor","packageid":77192},{"block":false,"categoryid":430,"description":"Port of the Prettier formatter to the Ada programming language","ebuildids":[855056],"firstseen":"2025-01-26T18:43:07.960405","name":"prettier-ada","packageid":78141,"summary":"This project is a port of the Prettier formatter to the Ada programming language. The aim of this project is to provide a tool that allows Ada programmers to create formatters for any language of their choosing. Please note that only the core generic formatting algorithm and its dependencies were ported. The formatters for all supported languages are not included in this project."},{"block":false,"categoryid":430,"description":"Opinionated code formatter for the Ada language","ebuildids":[855056],"firstseen":"2025-02-16T20:10:22.750139","name":"gnatformat","packageid":78166}],"depending":[],"ebuilds":[{"archs":["~amd64","~arm64","~x86"],"ebuildid":855056,"firstseen":"2025-02-24T20:55:52.785570","license":"GPL-3","moddate":"2025-03-10T02:23:35","packageid":73963,"repoid":1,"slot":"0","uses":["ada_target_gcc_12","ada_target_gcc_13","ada_target_gcc_14","ada_target_gcc_15","test"],"version":"25.0.20241014-r2"}],"masks":[],"package":{"categoryid":430,"description":"a Language Server Protocol for Ada\/SPARK","firstseen":"2021-12-31T20:16:20.687442","name":"ada_language_server","packageid":73963},"rdependencies":[{"block":false,"categoryid":380,"description":"The GNU Compiler Collection","ebuildids":[855056],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gcc","packageid":54038},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[855056],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512},{"block":false,"categoryid":430,"description":"Set of modules that provide a simple manipulation of XML streams","ebuildids":[855056],"firstseen":"2017-03-27T16:49:32.067838","name":"xmlada","packageid":66691,"summary":"XML\/Ada is a set of modules that provide a simple manipulation of XML streams. It supports the whole XML 1.1 specifications, and can parse any file that follows this standard (including the contents of the DTD, although no validation of the document is done based on those). It also provides support for a number of other standard associated with XML, like SAX, DOM and XML schemas. In addition, it includes a module to manipulate Unicode streams, since this is required by the XML standard."},{"block":false,"categoryid":430,"description":"Ada library to handle GPRbuild project files","ebuildids":[855056],"firstseen":"2017-12-02T21:41:25.762783","name":"libgpr","packageid":68491,"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":430,"description":"GNAT Component Collection Core packages","ebuildids":[855056],"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":"GNAT Component Collection","ebuildids":[855056],"firstseen":"2018-06-22T07:43:05.450548","name":"gnatcoll-bindings","packageid":69206,"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":"A Python framework to generate language parsers","ebuildids":[855056],"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":"high performance semantic engine for the Ada programming language","ebuildids":[855056],"firstseen":"2021-12-15T22:29:46.775560","name":"libadalang","packageid":73758,"summary":"Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"block":false,"categoryid":430,"description":"Libadalang-based tools: gnatpp, gnatmetric and gnatstub","ebuildids":[855056],"firstseen":"2021-12-17T08:16:58.396755","name":"libadalang-tools","packageid":73760},{"block":false,"categoryid":430,"description":"Simple API to spawn processes","ebuildids":[855056],"firstseen":"2021-12-26T19:23:03.021169","name":"spawn","packageid":73912,"summary":"This library provides simple API to spawn processes and communicate with them. We provide two implementations of the same API - the integrated into Glib event loop and the independent."},{"block":false,"categoryid":430,"description":"A high level string and text processing library","ebuildids":[855056],"firstseen":"2021-12-27T16:03:48.686430","name":"VSS","packageid":73916},{"block":false,"categoryid":394,"description":"cross-platform file change monitor with multiple backends","ebuildids":[855056],"firstseen":"2021-12-29T22:54:47.630928","name":"fswatch","packageid":73925},{"block":false,"categoryid":430,"description":"Ada binding to the libfswatch library","ebuildids":[855056],"firstseen":"2021-12-30T14:17:43.586944","name":"ada_libfswatch","packageid":73927},{"block":false,"categoryid":430,"description":"A template engine","ebuildids":[855056],"firstseen":"2022-12-14T08:11:03.746645","name":"templates-parser","packageid":75674,"summary":"The templates parser package has been designed to parse files and to replace some specific tags into these files by some specified values."},{"block":false,"categoryid":430,"description":"LibGPR2 - Parser for GPR Project files","ebuildids":[855056],"firstseen":"2022-12-16T13:07:39.277611","name":"gpr","packageid":75676},{"block":false,"categoryid":430,"description":"GNAT Documentation Generation Tool","ebuildids":[855056],"firstseen":"2022-12-18T20:21:39.969418","name":"gnatdoc","packageid":75680},{"block":false,"categoryid":430,"description":"Implementation of a DPLL-based SAT solver in Ada","ebuildids":[855056],"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"},{"block":false,"categoryid":430,"description":"Refactoring tools for the Ada programming language","ebuildids":[855056],"firstseen":"2024-03-20T18:51:39.975853","name":"lal-refactor","packageid":77192},{"block":false,"categoryid":430,"description":"Port of the Prettier formatter to the Ada programming language","ebuildids":[855056],"firstseen":"2025-01-26T18:43:07.960405","name":"prettier-ada","packageid":78141,"summary":"This project is a port of the Prettier formatter to the Ada programming language. The aim of this project is to provide a tool that allows Ada programmers to create formatters for any language of their choosing. Please note that only the core generic formatting algorithm and its dependencies were ported. The formatters for all supported languages are not included in this project."},{"block":false,"categoryid":430,"description":"Opinionated code formatter for the Ada language","ebuildids":[855056],"firstseen":"2025-02-16T20:10:22.750139","name":"gnatformat","packageid":78166}],"repos":[{"branch":"master","lastcommit":"9e63b53690187515f9d9751500a54ac93a04c6d2","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/AdaCore\/ada_language_server"],"uses":[{"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"}]}