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 06:37:10 -08:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
d0b4da8f9ef2d487f671fd401a7615cbdbf1fb67
gentoo
/
dev-ada
T
History
Tupone Alfredo
04f37879f6
dev-ada/asis: Add dev-ada/asis-2016
...
Package-Manager: Portage-2.3.3, Repoman-2.3.1
2017-04-06 21:23:54 +02:00
..
asis
dev-ada/asis: Add dev-ada/asis-2016
2017-04-06 21:23:54 +02:00
gnat_util
[QA] Drop $Id$ lines that were added back to headers.
2017-04-05 23:11:23 +02:00
gnatcoll
dev-ada/gnatcoll: fix discover of atomic inc/dec
2017-04-06 08:44:35 +02:00
gprbuild
dev-ada/gprbuild: Fix documentation directories
2017-03-30 21:10:43 +02:00
xmlada
dev-ada/xmlada: Fix dependency
2017-04-02 20:38:23 +02:00
metadata.xml
Revert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 16:30:34 -04:00