provers-detection-data.conf.in 6.66 KB