Whatever you tried to do with leap repo on 13.1 - 13.1 is out of maintenance and your problem doesn't seem to be a generic 13.1 problem anyway