3 ms·Just need to check if it's plain Ada or one specific profile or SPARKby Davidbrcz 7mo agoJust need to check if it's plain Ada or one specific profile or SPARK