provers-detection-data.conf.in 5.31 KB