* [COTY] SDLAda-2.5.5 submitted
@ 2022-12-31 14:27 Luke A. Guest
2023-01-01 9:16 ` Jeffrey R.Carter
0 siblings, 1 reply; 3+ messages in thread
From: Luke A. Guest @ 2022-12-31 14:27 UTC (permalink / raw)
Hi,
Just to inform people that SDLAda isn't dead, yet, it's just dormant. I
finally got around my issues with alire and submitted the 2.5.5 crate.
https://github.com/AdaCore/Ada-SPARK-Crate-Of-The-Year/issues/22
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-01-01 11:30 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-31 14:27 [COTY] SDLAda-2.5.5 submitted Luke A. Guest
2023-01-01 9:16 ` Jeffrey R.Carter
2023-01-01 11:30 ` Luke A. Guest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox