This is for the procurement of The AdaCore Gnat Pro software licenses in support of the LHD/A Machinery Control Systems (MCS) Tech Refresh software development. This RFQ closes on 4/1/2026 at 3:00 PM EST. This is a BRAND NAME buy (AdaCore). MUST BE AN AUTHORIZED RESELLER OF AdACore. MUST PROVIDE CORRECT P/N MATERIAL WITH PROOF/DOCUMENTATION OF AUTHORIZATION WITH QUOTE SUBMISSION. Any questions please reach out to : joseph.w.aprile2.civ@us.navy.mil. Phone Calls will NOT be accepted.