This website requires JavaScript.
Explore
Help
Register
Sign In
gentoo-mirror
/
gentoo
Watch
1
Star
0
Fork
0
mirror of
https://github.com/gentoo-mirror/gentoo.git
synced
2026-11-09 18:47:16 -08:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
bcc8a929f680d48af47cbcd228d656225067e4f6
gentoo
/
dev-ada
T
History
Michał Górny
7909bf11e9
dev-ada/langkit: Remove unused flag
...
Signed-off-by: Michał Górny <
mgorny@gentoo.org
>
2026-10-23 09:58:00 +02:00
..
ada_language_server
…
ada_libfswatch
…
adareducer
…
AdaSAT
…
aunit
…
aws
…
e3-core
dev-ada/e3-core: Remove py3.12 (via sphinx dropping it)
2026-10-22 20:12:58 +02:00
e3-testsuite
dev-ada/e3-testsuite: Remove py3.12 (via sphinx dropping it)
2026-10-22 20:12:46 +02:00
gnatcoll-bindings
dev-ada/gnatcoll-bindings: Remove py3.12 (via sphinx dropping it)
2026-10-22 20:01:23 +02:00
gnatcoll-core
…
gnatcoll-db
dev-ada/gnatcoll-db: Remove py3.12 (via sphinx dropping it)
2026-10-22 20:01:18 +02:00
gnatdoc
…
gnatformat
…
gnatmem
…
gnatsymbolize
…
gpr
…
gprbuild
…
gprconfig_kb
…
gtkada
…
lal-refactor
…
langkit
dev-ada/langkit: Remove unused flag
2026-10-23 09:58:00 +02:00
langkit-contrib
dev-ada/langkit-contrib: Remove py3.12 (via sphinx dropping it)
2026-10-22 20:12:07 +02:00
libadalang
dev-ada/libadalang: Remove py3.12 (via sphinx dropping it)
2026-10-22 19:59:19 +02:00
libadalang-tools
…
libgpr
…
markdown
…
prettier-ada
…
spawn
…
templates-parser
…
vss-extra
…
vss-text
…
xmlada
…
metadata.xml
…