Logo
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 06:37:10 -08:00
Code Issues Projects Releases Wiki Activity
Files
fb294435f182293f28d6e2a76aa36cf8a5aa0beb
gentoo/dev-ada
T
History
Tupone Alfredo bbb0250a9d dev-ada/gnatcoll: Add tools use flag to build gnatcoll_db2ada
Package-Manager: Portage-2.3.6, Repoman-2.3.1
2017-07-05 22:27:21 +02:00
..
asis
dev-ada/asis: asis-2017 build only with gnat-gpl-2017
2017-07-05 14:00:23 +02:00
aunit
dev-ada/aunit: Add dev-ada/aunit-2016
2017-04-26 20:32:51 +02:00
aws
dev-ada/aws: Fix the install phase
2017-07-04 12:00:13 +02:00
gnat_util
dev-ada/gnat_util: Add use flag gnat_* to 2017 version
2017-07-02 16:42:07 +02:00
gnatcoll
dev-ada/gnatcoll: Add tools use flag to build gnatcoll_db2ada
2017-07-05 22:27:21 +02:00
gnatmem
dev-ada/gnatmem: Adding dev-ada/gnatmem-2016
2017-04-25 21:52:23 +02:00
gprbuild
dev-ada/gprbuild: rm 9999 version
2017-07-01 18:32:46 +02:00
gps-bin
dev-ada/gps-bin: gps needs clang
2017-05-02 14:33:03 +02:00
gtkada
dev-ada/gtkada: Add version 2017. Purge 17 and 9999 versions
2017-06-30 16:32:30 +02:00
xmlada
dev-ada/xmlada: rm 9999 version
2017-07-01 18:35:59 +02:00
metadata.xml
…
Powered by Gitea Version: 1.27.3 Page: 1012ms Template: 3ms
arc-green
English
Deutsch English español français italiano latviešu Nederlands polski Português de Portugal português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API