provers-detection-data.conf 2.68 KB