provers-detection-data.conf.in 3.71 KB