The Senate Appropriations Committee’s bill calls for $852.2 billion in defense-related spending in fiscal year 2025.