#sparklang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sparklang, aggregated by home.social.
-
@adanskana AFAIR, this is the reason #GNAT is not distributed through #Homebrew either.
Perhaps instead of GNAT, distributions could package #Alire ? [1] It can be used to obtain open source #AdaLang / #SPARKLang toolchains (including #FSF GNAT licensed under #GPL with GCC RLE) similarly to how #RustLang toolchain can be obtained with #Rustup . Alire is like a mix of Rustup and #Cargo, but for #Ada.
-
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
-
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
-
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award
-
4 days left to submit your entry for Ada/SPARK Crate Of The Year 2022! 📆🏆 #AdaLang #SparkLang #CrateOfTheYear https://blog.adacore.com/announcing-the-2022-ada-spark-crate-of-the-year-award