Thereafter the district library tax or taxes shall be collected by the Receiver of Taxes and County Treasurer at the same time and in the same manner as the annual general county tax is collected according to Title 9, Chapters 86 and 87, and shall be a lien on real property within the county library district or districts the same as the annual county tax levy according to Title 9, Chapters 86 and 87.