"theories/proofmode/spec_patterns.v" did not exist on "0200169154d98adf307d28ca2f2fd63e8883e2bd"