provers-detection-data.conf.in 2.81 KB