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-06 17:47:07 -08:00
Code Issues Projects Releases Wiki Activity
Files
7ff37f8ec285b82d5de3b3e3fec4d5aa76f4bc1e
gentoo/dev-ada
T
History
Michael Mair-Keimberger 9f37a921c6 dev-ada/xmlada: remove unused patch
2018-01-03 11:35:03 +01:00
..
asis
dev-ada/asis: Defaulting some use flags
2017-11-29 15:22:19 +01:00
aunit
dev-ada/aunit: Removing duplicated file
2017-11-29 20:23:33 +01:00
aws
dev-ada/aws: Defaulting some use flags
2017-11-30 19:09:19 +01:00
gnat_util
dev-ada/gnat_util: Defaulting some use flags
2017-11-29 19:09:47 +01:00
gnatcoll
dev-ada/gnatcoll: gnatls path uses CHOST
2017-12-09 19:10:27 +01:00
gnatmem
dev-ada/gnatmem: Defaulting some use flags
2017-11-30 19:19:32 +01:00
gprbuild
dev-ada/gprbuild: remove /usr/share/gpr to the project dirs
2017-12-20 08:53:28 +01:00
gps
dev-ada/gps: set the path of libclang
2017-12-29 16:10:47 +00:00
gps-bin
dev-ada/gps-bin: Fix dependency on dev-ada/gnatcoll
2017-12-06 13:59:46 +01:00
gtkada
dev-ada/*: Update Manifest hashes
2017-12-09 13:40:06 +01:00
langkit
dev-ada/langkit: Fix constraint error on hash
2017-12-26 20:54:50 +01:00
libadalang
dev-ada/libadalang: enabling stylechecks test/cosmethic changes
2017-12-27 20:15:36 +01:00
libgpr
dev-ada/libgpr: Change description
2017-12-05 21:02:01 +01:00
xmlada
dev-ada/xmlada: remove unused patch
2018-01-03 11:35:03 +01:00
metadata.xml
…
Powered by Gitea Version: 1.27.3 Page: 1015ms 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