|
Packaging gprbuild on OpenBSD
|
|
12
|
337
|
April 12, 2026
|
|
Enclosed task activation must complete before main program begins
|
|
2
|
71
|
April 11, 2026
|
|
Building libadalang from source
|
|
2
|
67
|
April 10, 2026
|
|
Alire not finding libgmp ... but it is there in /usr/lib
|
|
4
|
76
|
April 9, 2026
|
|
Raspberry Pi Pico dynamic allocation link error
|
|
5
|
72
|
April 8, 2026
|
|
Best book for Ada 2022
|
|
11
|
380
|
April 7, 2026
|
|
Strange ask: type of higher detail inside a parent type?
|
|
8
|
172
|
April 7, 2026
|
|
How do I make an infinite task kick-off?
|
|
17
|
268
|
April 7, 2026
|
|
What kind of package declaration is this?
|
|
15
|
472
|
April 6, 2026
|
|
Gnatmake gives me a warning on gnat krunch shortened filename
|
|
6
|
173
|
April 2, 2026
|
|
Ada input from a terminal
|
|
71
|
989
|
April 2, 2026
|
|
Gprbuild -cflags
|
|
2
|
70
|
April 2, 2026
|
|
Child Package Library-Level Renaming of a Pure Package
|
|
1
|
60
|
April 1, 2026
|
|
Gprbuild cannot find compilers
|
|
5
|
105
|
March 30, 2026
|
|
The "Router Ban" Oppertunity
|
|
3
|
162
|
March 30, 2026
|
|
Installing XML/Ada - quick question
|
|
3
|
89
|
March 29, 2026
|
|
Windows + Alire + (MSys2) + zLib
|
|
4
|
126
|
March 28, 2026
|
|
Steam IO endianess for Read and Write attributes
|
|
25
|
317
|
March 28, 2026
|
|
Weirdness when building Gprbuild 25.0.0
|
|
3
|
49
|
March 28, 2026
|
|
Writing a C Compiler
|
|
41
|
2088
|
March 28, 2026
|
|
GnatCOV in Alire (22.01) and in GitHub (24.0)
|
|
17
|
451
|
March 26, 2026
|
|
seL4 micro-kernel Ada integration?
|
|
4
|
128
|
March 25, 2026
|
|
Simple Components ODBC bindings on Windows + Alire
|
|
3
|
94
|
March 25, 2026
|
|
How to enable External_Initialization, finally, no_raise etc?
|
|
10
|
191
|
March 24, 2026
|
|
The function heaviness of tagged types
|
|
4
|
198
|
March 24, 2026
|
|
Size optimization and constants
|
|
12
|
206
|
March 23, 2026
|
|
OpenBSD gcc warnings
|
|
6
|
762
|
March 18, 2026
|
|
Discussions about GUI design in Ada
|
|
6
|
140
|
March 17, 2026
|
|
Alire on native ARM hosts?
|
|
37
|
1213
|
March 16, 2026
|
|
Raspberry Pi RP2350
|
|
25
|
2011
|
March 15, 2026
|