Logo
Explore Help
Register Sign In
gentoo-mirror/gentoo
1
0
Fork 0
You've already forked gentoo
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity
Files
a3d074d37b2c6c9adfabf931742e1fb4ab65e2f9
gentoo/dev-ada
History
Tupone Alfredo bf6ea77d1b dev-ada/libadalang-tools: require static libadalang
Closes http://bugs.gentoo.org/663788

Package-Manager: Portage-2.3.40, Repoman-2.3.9
2018-08-17 14:14:02 +02:00
..
asis
dev-ada/asis: Rename a file conflicting with libadalang-tool
2018-07-08 11:02:32 +02:00
aunit
dev-ada/aunit: Build verbose
2018-07-18 21:57:56 +02:00
aws
dev-ada/aws: use ADAFLAGS for all ada files
2018-07-19 20:26:11 +02:00
gnat_util
…
gnatcoll
…
gnatcoll-bindings
dev-ada/gnatcoll-bindings: Allow selection of static via LIBRARY_TYPE
2018-07-07 22:35:02 +02:00
gnatcoll-core
…
gnatcoll-db
dev-ada/gnatcoll-db: fix install when there is no library
2018-08-03 22:56:50 +02:00
gnatmem
dev-ada/gnatmem: for C use the related gcc compiler
2018-07-21 22:34:29 +02:00
gnatsymbolize
…
gprbuild
dev-ada/gprbuild: Fix "-r and -pie may not be used together" error
2018-07-07 22:33:06 +02:00
gps
dev-ada/gps: respect ADAFLAGS/CFLAGS
2018-07-26 22:05:52 +02:00
gps-bin
…
gtkada
…
langkit
dev-ada/langkit: Add 2018 version
2018-07-04 21:16:40 +02:00
libadalang
dev-ada/libadalang: Build shared/static library
2018-07-08 11:05:20 +02:00
libadalang-tools
dev-ada/libadalang-tools: require static libadalang
2018-08-17 14:14:02 +02:00
libgpr
dev-ada/libgpr: block net-libs/grpc
2018-08-04 21:17:06 +02:00
xmlada
…
metadata.xml
…
Powered by Gitea Version: 1.25.3 Page: 1062ms Template: 12ms
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