provers-detection-data.conf.in 6.24 KB