provers-detection-data.conf.in 9.9 KB