Dependants of gnatprove.

Indexed requirements.

Resolved against gnatprove 12.1.1 — 2 of 12 dependant releases qualify.

• aho_corasickCommunity
  • 0.3.0 (selected version)^15.1.0Excluded
  • 0.2.0^15.1.0Excluded
• anteforthCommunity
  • 0.1.1 (selected version)^15.1.0Excluded
  • 0.1.0^15.1.0Excluded
• coap_sparkCommunity
  • 0.10.0 (selected version)^14.1.1Excluded
  • 0.9.0^14.1.1Excluded
• elevatorCommunity
  • 1.0.0 (selected version)^12.1.1Qualifies
• elogsCommunity
  • 1.3.4 (selected version)^15.1.0Excluded
  • 1.3.3^15.1.0Excluded
• hirtosCommunity
  • 1.0.0^13.2.1Excluded
• hirtos_separation_kernelCommunity
  • 1.0.0^13.1.1Excluded
• program_proofs_in_sparkCommunity
  • 0.1.1 (selected version)^12.1.1Qualifies