The proceeds of sales of the following shall be paid into the Treasury to the credit of the appropriation out of which they were purchased, and are available for the purposes of that appropriation:
(2)
Supplies, war material, and military publications sold to educational institutions under section 9627 of this title.
(Aug. 10, 1956, ch. 1041, 70A Stat. 581; Pub. L. 110–181, div. A, title X, § 1031(b), Jan. 28, 2008, 122 Stat. 306.)