Wis. Stat. § 36.335
If the board sells any real property under its jurisdiction, the board shall credit the net proceeds of the sale to the appropriation account under s. 20.285(1) (gb) except that if there is any outstanding public debt used to finance the acquisition, construction, or improvement of any property that is sold, the board shall deposit a sufficient amount of the net proceeds from the sale of the property in the bond security and redemption fund under s. 18.09 to repay the principal and pay the interest on the debt, and any premium due upon refunding any of the debt. If the property was acquired, constructed, or improved with federal financial assistance, the board shall pay to the federal government any of the net proceeds required by federal law. If the property was acquired by gift or grant or acquired with gift or grant funds, the board shall adhere to any restriction governing use of the proceeds.
Wis. Stat. § 36.335