The Department of Information Resources is an agency of the state.