cca needs to conflict with mirage-mtime 5.0.0 (#27954)

* cca needs to conflict with mirage-mtime 5.0.0

Signed-off-by: Marcello Seri <[email protected]>

* Apply suggestions from code review

* Apply suggestions from code review

---------

Signed-off-by: Marcello Seri <[email protected]>

Author: mseri

packages/cca/cca.0.6.2/opam

@@ -27,6 +27,10 @@ depends: [
   "volt"
   "mtime" {< "2.0"}
 ]
+conflicts: [
+  "mirage-mtime" {>= "5.0.0"} 
+  "mirage-ptime" {>= "5.0.0"} 
+]
 available: arch != "x86_32" & arch != "arm32" & arch != "ppc64"
 synopsis: "A framework for differential source code analyses"
 description: """

packages/cca/cca.0.7/opam

@@ -27,6 +27,10 @@ depends: [
   "volt"
   "mtime" {>= "2.0"}
 ]
+conflicts: [
+  "mirage-mtime" {>= "5.0.0"} 
+  "mirage-ptime" {>= "5.0.0"} 
+]
 available: arch != "x86_32" & arch != "arm32" & arch != "ppc64"
 synopsis: "A framework for differential source code analyses"
 description: """