provers-detection-data.conf 2.66 KB