20181025 city.patna: PU central library to be made digital repository