Source: spark Severity: wishlist The Debian package of SPARK needs to be updated in order to be able to build the Muen x86/64 Separation Kernel. The Muen website says this:
> The Ada and SPARK packages currently available in Debian and Ubuntu > are too old to build Muen. GNAT/SPARK GPL 2016 ... must be installed https://muen.sk/ -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part