Closed Solicitation · DEPT OF DEFENSE

    ADACORE GNAT PRO MAINTENANCE

    Sol. PANRSA25P0000030598Special NoticeREDSTONE ARSENAL, AL
    Closed
    STATUS
    Closed
    closed Dec 22, 2025
    POSTED
    Dec 18, 2025
    Publication date
    NAICS CODE
    513210
    Primary industry classification
    PSC CODE
    DA10
    Product & service classification

    AI Summary

    The Department of Defense, specifically the Department of the Army, requires maintenance and support for AdaCore software used in the Guided Multiple Launch Rocket System. This opportunity focuses on software maintenance, support for unit testing, and static code analysis. Interested parties should respond to this special notice.

    Contract details

    Solicitation No.
    PANRSA25P0000030598
    Notice Type
    Special Notice
    Posted Date
    December 18, 2025
    Response Deadline
    December 22, 2025
    NAICS Code
    513210AI guide
    PSC / Class Code
    DA10
    Issuing Office
    W6QK ACC-RSA
    Primary Contact
    Tracie Marbury
    State
    AL
    ZIP Code
    35898-5200
    AI Product/Service
    service

    Description

    The Technology Development Directorate (TDD) has a requirement maintenance and support for AdaCore software. The Ada software development suite is the existing complier used in the TDD software for the Guided Multiple Launch Rocket System (GMLRS) that provides multiple compilations, support for unit testing, and support for static code analysis.

    Key dates

    1. December 18, 2025Posted Date
    2. December 22, 2025Proposals / Responses Due

    AI search tags

    Frequently asked questions

    ADACORE GNAT PRO MAINTENANCE is a federal acquisition solicitation issued by DEPT OF DEFENSE. Review the full description, attachments, and submission requirements on SamSearch before the response deadline.

    SamSearch Platform

    Stop searching. Start winning.

    AI-powered intelligence for the right opportunities, the right leads, and the right time.