provers-detection-data.conf 2.22 KB