Yes, it is considered a government civil service qualified plan. Please follow the directions provided by TurboTax Agent MargaretL, in the answer link below to input this income.
https://ttlc.intuit.com/replies/5753587
