messages from 2022-02-03 20:14:24 to 2022-04-13 01:05:00 UTC [more...]
Unchecked_Deallocation with tagged types
2022-04-13 1:05 UTC (12+ messages)
` use clauses
Ada and Unicode
2022-04-12 6:13 UTC (39+ messages)
Aggregate with (parens) considered obsolescent
2022-04-11 16:15 UTC
Ada_GUI
2022-04-10 13:23 UTC (15+ messages)
[ANN] GCC 12.0.1/Apple silicon
2022-04-01 17:22 UTC (7+ messages)
[ANN] UXStrings package available (UXS_20220226)
2022-03-31 13:51 UTC (6+ messages)
Gtk.Image.Gtk_Image
2022-03-30 12:46 UTC (18+ messages)
Source-code hosting with Ada build tools?
2022-03-29 18:38 UTC (11+ messages)
is gnoga free ? is ada compiler free software?
2022-03-29 13:05 UTC (7+ messages)
What is the name of the | symbol?
2022-03-27 19:01 UTC (9+ messages)
What is the name of the | symbol?
2022-03-26 4:24 UTC (3+ messages)
gtkada at lists.act-europe.fr
2022-03-25 19:43 UTC (3+ messages)
Status of AdaControl
2022-03-24 20:36 UTC (4+ messages)
Update for unwanted groups and channels
2022-03-23 14:36 UTC
Silly TARGET fix in gcc means gprconfig can find the Ada runtime
2022-03-19 15:00 UTC (5+ messages)
array from static predicate on enumerated type
2022-03-16 0:38 UTC (8+ messages)
GCC updated in NetBSD!
2022-03-14 21:21 UTC (14+ messages)
Automatic Serialization of Dynamic Structures in Ada
2022-03-11 5:26 UTC (3+ messages)
Not only a language
2022-03-09 21:06 UTC (5+ messages)
Get_Immediate does not read CR in CRLF pairs
2022-03-09 12:54 UTC (14+ messages)
GEntry with autocomplete
2022-03-08 23:46 UTC (3+ messages)
XNAdaLib 2021 futur contents
2022-03-01 20:45 UTC (3+ messages)
Comparing languages wrt energy, speed, and memory use
2022-02-27 8:56 UTC (8+ messages)
ANN: macOS GCC 12.0.1, compatible SPARK2014
2022-02-25 18:21 UTC
Ada Developer Room at FOSDEM 2022 - videos online
2022-02-20 14:23 UTC
Controlling st7789 screen from Ada on a rpi Pico ?
2022-02-18 17:18 UTC (5+ messages)
Adacore joins with Ferrous Systems to support Rust
2022-02-18 13:24 UTC (31+ messages)
Version 1.0 Release of aShell
2022-02-17 13:45 UTC (4+ messages)
GtkAda for GTk4?
2022-02-14 19:50 UTC (9+ messages)
New Ada Forge: catalog of (almost) all Ada open source code & tools
2022-02-14 14:07 UTC (8+ messages)
Building GNAT-FSF on FreeBSD
2022-02-14 11:45 UTC (3+ messages)
Ada - In Strong Typing We Trust - "coin" updated for Ada 2022
2022-02-06 5:32 UTC (2+ messages)
Ada Developer Room at FOSDEM 2022 - Sun 6 Feb - online
2022-02-03 20:14 UTC
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox