Releases for InspectionProof