Ada support

Git repository

git://github.com/Lucretia/meta-ada.git web repo

Last commit: 4 years, 6 months ago (master branch)

Maintainer

Dependencies

The meta-ada layer depends upon:

Recipe name Version Description
common git Common library for Ada projects on ada.cx.
gprbuild-2012 1.0
hello 1.0 Test Ada layer - Simple hello, world application in Ada
libhello 1.0 Test Ada layer - Simple library in Ada
postgres-ada git Ada binding to PostgreSQL.
xmlada 3.4
xmlada-native 4.3w
Date/time Errors Warnings
Aug. 21, 2017, 4:32 p.m.
Aug. 21, 2017, 1:31 p.m.
Aug. 21, 2017, 10:31 a.m.
Aug. 21, 2017, 7:32 a.m.
Aug. 21, 2017, 4:31 a.m.
Aug. 21, 2017, 1:32 a.m.
Aug. 20, 2017, 10:32 p.m.
Aug. 20, 2017, 7:32 p.m.
Aug. 20, 2017, 4:32 p.m.
Aug. 20, 2017, 1:31 p.m.
Aug. 20, 2017, 10:32 a.m.
Aug. 20, 2017, 7:32 a.m.
Aug. 20, 2017, 4:32 a.m.
Aug. 20, 2017, 1:31 a.m.
Aug. 19, 2017, 10:32 p.m.
Aug. 19, 2017, 7:31 p.m.
Aug. 19, 2017, 4:32 p.m.
Aug. 19, 2017, 1:31 p.m.
Aug. 19, 2017, 10:32 a.m.
Aug. 19, 2017, 7:32 a.m.
Aug. 19, 2017, 4:32 a.m.
Aug. 19, 2017, 1:32 a.m.
Aug. 18, 2017, 10:32 p.m.
Aug. 18, 2017, 7:32 p.m.
Aug. 18, 2017, 4:32 p.m.
Aug. 18, 2017, 1:31 p.m.
Aug. 18, 2017, 10:32 a.m.
Aug. 18, 2017, 4:32 a.m.
Aug. 18, 2017, 1:32 a.m.
Aug. 17, 2017, 10:37 p.m.
Aug. 17, 2017, 7:32 p.m.
Aug. 17, 2017, 1:38 p.m.
Aug. 17, 2017, 7:32 a.m.
Aug. 17, 2017, 1:34 a.m.
Aug. 16, 2017, 10:32 p.m.
Aug. 16, 2017, 4:32 p.m.
Aug. 16, 2017, 1:32 p.m.
Aug. 16, 2017, 10:32 a.m.
Aug. 16, 2017, 7:35 a.m.
Aug. 16, 2017, 4:35 a.m.
Aug. 16, 2017, 1:32 a.m.
Aug. 15, 2017, 10:37 p.m.
Aug. 15, 2017, 7:32 p.m.
Aug. 15, 2017, 4:32 p.m.
Aug. 15, 2017, 1:32 p.m.
Aug. 15, 2017, 7:32 a.m.
Aug. 15, 2017, 4:31 a.m.
Aug. 15, 2017, 1:37 a.m.
Aug. 14, 2017, 10:32 p.m.
Aug. 14, 2017, 7:32 p.m.
Aug. 14, 2017, 4:32 p.m.
Aug. 14, 2017, 1:32 p.m.
Aug. 14, 2017, 10:32 a.m.
Aug. 14, 2017, 7:32 a.m.
Aug. 14, 2017, 4:32 a.m.
Aug. 14, 2017, 1:32 a.m.
Aug. 13, 2017, 10:31 p.m.
Aug. 13, 2017, 7:31 p.m.
Aug. 13, 2017, 4:32 p.m.
Aug. 13, 2017, 1:31 p.m.
Aug. 13, 2017, 10:32 a.m.
Aug. 13, 2017, 7:31 a.m.
Aug. 13, 2017, 4:31 a.m.
Aug. 13, 2017, 1:32 a.m.
Aug. 12, 2017, 10:31 p.m.
Aug. 12, 2017, 7:31 p.m.
Aug. 12, 2017, 4:32 p.m.
Aug. 12, 2017, 1:32 p.m.
Aug. 12, 2017, 10:32 a.m.
Aug. 12, 2017, 7:32 a.m.
Aug. 12, 2017, 4:32 a.m.
Aug. 12, 2017, 1:32 a.m.
Aug. 11, 2017, 10:31 p.m.
Aug. 11, 2017, 7:31 p.m.
Aug. 11, 2017, 4:32 p.m.
Aug. 11, 2017, 1:31 p.m.
Aug. 11, 2017, 10:31 a.m.
Aug. 11, 2017, 7:32 a.m.
Aug. 11, 2017, 4:32 a.m.
Aug. 11, 2017, 1:32 a.m.
Aug. 10, 2017, 10:32 p.m.
Aug. 10, 2017, 7:31 p.m.
Aug. 10, 2017, 4:31 p.m.
Aug. 10, 2017, 1:31 p.m.
Aug. 10, 2017, 10:32 a.m.
Aug. 10, 2017, 7:32 a.m.
Aug. 10, 2017, 4:32 a.m.
Aug. 10, 2017, 1:31 a.m.
Aug. 9, 2017, 10:31 p.m.
Aug. 9, 2017, 7:32 p.m.
Aug. 9, 2017, 4:32 p.m.
Aug. 9, 2017, 1:32 p.m.
Aug. 9, 2017, 10:32 a.m.
Aug. 9, 2017, 7:31 a.m.
Aug. 9, 2017, 4:32 a.m.
Aug. 9, 2017, 1:32 a.m.
Aug. 8, 2017, 10:32 p.m.
Aug. 8, 2017, 7:32 p.m.
Aug. 8, 2017, 4:31 p.m.
Aug. 8, 2017, 1:32 p.m.
Aug. 8, 2017, 10:32 a.m.
Aug. 8, 2017, 7:31 a.m.
Aug. 8, 2017, 4:32 a.m.
Aug. 8, 2017, 1:32 a.m.
Aug. 7, 2017, 10:31 p.m.
Aug. 7, 2017, 7:32 p.m.
Aug. 7, 2017, 4:32 p.m.
Aug. 7, 2017, 1:32 p.m.
Aug. 7, 2017, 10:31 a.m.
Aug. 7, 2017, 7:32 a.m.
Aug. 7, 2017, 4:36 a.m.
Aug. 7, 2017, 1:37 a.m.
Aug. 6, 2017, 10:37 p.m.
Aug. 6, 2017, 7:36 p.m.
Aug. 6, 2017, 4:36 p.m.
Aug. 6, 2017, 1:36 p.m.
Aug. 6, 2017, 10:32 a.m.
Aug. 6, 2017, 7:31 a.m.
Aug. 6, 2017, 4:32 a.m.
Aug. 6, 2017, 1:32 a.m.
Aug. 5, 2017, 10:32 p.m.
Aug. 5, 2017, 7:31 p.m.
Aug. 5, 2017, 4:32 p.m.
Aug. 5, 2017, 1:32 p.m.
Aug. 5, 2017, 10:32 a.m.
Aug. 5, 2017, 7:32 a.m.
Aug. 5, 2017, 4:31 a.m.
Aug. 5, 2017, 1:31 a.m.
Aug. 4, 2017, 10:32 p.m.
Aug. 4, 2017, 7:31 p.m.
Aug. 4, 2017, 4:32 p.m.
Aug. 4, 2017, 1:31 p.m.
Aug. 4, 2017, 10:32 a.m.
Aug. 4, 2017, 7:34 a.m.
Aug. 4, 2017, 4:33 a.m.
Aug. 4, 2017, 1:33 a.m.
Aug. 3, 2017, 10:34 p.m.
Aug. 3, 2017, 7:32 p.m.
Aug. 3, 2017, 4:31 p.m.
Aug. 3, 2017, 1:32 p.m.
Aug. 3, 2017, 10:32 a.m.
Aug. 3, 2017, 7:31 a.m.
Aug. 3, 2017, 4:32 a.m.
Aug. 3, 2017, 1:31 a.m.
Aug. 2, 2017, 10:31 p.m.
Aug. 2, 2017, 7:32 p.m.
Aug. 2, 2017, 4:31 p.m.
Aug. 2, 2017, 1:32 p.m.
Aug. 2, 2017, 10:32 a.m.
Aug. 2, 2017, 7:31 a.m.
Aug. 2, 2017, 4:32 a.m.
Aug. 2, 2017, 1:31 a.m.
Aug. 1, 2017, 10:32 p.m.
Aug. 1, 2017, 7:32 p.m.
Aug. 1, 2017, 4:31 p.m.
Aug. 1, 2017, 1:31 p.m.
Aug. 1, 2017, 10:31 a.m.
Aug. 1, 2017, 7:31 a.m.
Aug. 1, 2017, 4:32 a.m.
Aug. 1, 2017, 1:31 a.m.
July 31, 2017, 10:32 p.m.
July 31, 2017, 7:32 p.m.
July 31, 2017, 4:31 p.m.
July 31, 2017, 1:31 p.m.
July 31, 2017, 10:31 a.m.
July 31, 2017, 7:32 a.m.
July 31, 2017, 4:31 a.m.
July 31, 2017, 1:31 a.m.
July 30, 2017, 10:31 p.m.
July 30, 2017, 7:31 p.m.
July 30, 2017, 4:32 p.m.
July 30, 2017, 1:31 p.m.
July 30, 2017, 10:33 a.m.
July 30, 2017, 7:32 a.m.
July 30, 2017, 4:31 a.m.
July 30, 2017, 1:31 a.m.
July 29, 2017, 10:31 p.m.
July 29, 2017, 7:32 p.m.
July 29, 2017, 4:32 p.m.
July 29, 2017, 1:31 p.m.
July 29, 2017, 10:32 a.m.
July 29, 2017, 7:31 a.m.
July 29, 2017, 4:31 a.m.
July 29, 2017, 1:31 a.m.
July 28, 2017, 10:31 p.m.
July 28, 2017, 7:31 p.m.
July 28, 2017, 4:32 p.m.
July 28, 2017, 1:32 p.m.
July 28, 2017, 10:32 a.m.
July 28, 2017, 7:32 a.m.
July 28, 2017, 4:31 a.m.
July 28, 2017, 1:32 a.m.
July 27, 2017, 10:32 p.m.
July 27, 2017, 7:32 p.m.
July 27, 2017, 4:32 p.m.
July 27, 2017, 1:32 p.m.
July 27, 2017, 10:32 a.m.
July 27, 2017, 7:31 a.m.
July 27, 2017, 4:31 a.m.
July 27, 2017, 1:31 a.m.
July 26, 2017, 10:32 p.m.
July 26, 2017, 7:31 p.m.
July 26, 2017, 4:32 p.m.
July 26, 2017, 1:32 p.m.
July 26, 2017, 10:32 a.m.
July 26, 2017, 7:32 a.m.
July 26, 2017, 4:31 a.m.
July 26, 2017, 1:32 a.m.
July 25, 2017, 10:32 p.m.
July 25, 2017, 7:32 p.m.
July 25, 2017, 4:32 p.m.
July 25, 2017, 1:32 p.m.
July 25, 2017, 10:31 a.m.
July 25, 2017, 7:31 a.m.
July 25, 2017, 4:32 a.m.
July 25, 2017, 1:32 a.m.
July 24, 2017, 10:31 p.m.
July 24, 2017, 7:32 p.m.
July 24, 2017, 4:32 p.m.
July 24, 2017, 1:32 p.m.
July 24, 2017, 10:31 a.m.
July 24, 2017, 7:31 a.m.
July 24, 2017, 4:32 a.m.
July 24, 2017, 1:31 a.m.
July 23, 2017, 10:32 p.m.
July 23, 2017, 7:32 p.m.
July 23, 2017, 4:32 p.m.
July 23, 2017, 1:31 p.m.
July 23, 2017, 10:31 a.m.
July 23, 2017, 7:31 a.m.
July 23, 2017, 4:31 a.m.
July 23, 2017, 1:31 a.m.
July 22, 2017, 10:32 p.m.
July 22, 2017, 7:31 p.m.