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-08 06:17:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
c49fa4f01ef4ddfb471a47ae5cffb4a7e29bc51e
gentoo/dev-ada
T
History
Tupone Alfredo 5825a50383 dev-ada/gprbuild: Fix local patch against a constraint error
Package-Manager: Portage-2.3.8, Repoman-2.3.3
2017-11-11 18:44:08 +01: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-2017
2017-09-26 09:13:41 +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: Fix dependency on dev-ada/gtkada (shared & static)
2017-09-14 09:49:46 +02:00
gnatmem
dev-ada/gnatmem: Adding dev-ada/gnatmem-2017
2017-09-28 09:01:01 +02:00
gprbuild
dev-ada/gprbuild: Fix local patch against a constraint error
2017-11-11 18:44:08 +01:00
gps-bin
dev-ada/gps-bin: inherit toolchain-funcs. Fix bug #628958
2017-08-31 16:03:06 +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: 1028ms Template: 5ms
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