Wasn't safety critical DoD projects (like military avionics projects) required to be implemented in Ada at some point. But at some point that requirement was re

Wasn't safety critical DoD projects (like military avionics projects) required to be implemented in Ada at some point. But at some point that requirement was rescinded and Ada all but died. Seems nowadays Ada is more alive in Europe, many European safety critical projects done with SPARK?