provers-detection-data.conf.in 7.71 KB