provers-detection-data.conf.in 10.4 KB