Dependants of gnatprove.

Indexed requirements.

Resolved against gnatprove 15.1.0 — 6 of 12 dependant releases qualify.

• aho_corasickCommunity
  • 0.3.0 (selected version)^15.1.0Qualifies
  • 0.2.0^15.1.0Qualifies
• anteforthCommunity
  • 0.1.1 (selected version)^15.1.0Qualifies
  • 0.1.0^15.1.0Qualifies
• coap_sparkCommunity
  • 0.10.0 (selected version)^14.1.1Excluded
  • 0.9.0^14.1.1Excluded
• elevatorCommunity
  • 1.0.0 (selected version)^12.1.1Excluded
• elogsCommunity
  • 1.3.4 (selected version)^15.1.0Qualifies
  • 1.3.3^15.1.0Qualifies
• 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.1Excluded