···

       
12
       
 
       
  if(strcmp(subversion, "4.1.1") == 0)

     

       
13
       
 
       
    return 0;

     

       
14
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
15
       
 
       
  return 1;

     

       
16
       
 
       
}

     

···

       
12
       
 
       
  if(strcmp(subversion, "4.1.1") == 0)

     

       
13
       
 
       
    return 0;

     

       
14
       
 
       


     

       
15
       
+
       
  // Version 4.1.1 is also compatible with 4.2.0

     

       
16
       
+
       
  if(strcmp(subversion, "4.2.0") == 0)

     

       
17
       
+
       
    return 0;

     

       
18
       
+
       


     

       
19
       
 
       
  return 1;

     

       
20
       
 
       
}

     

···

       
31
       
 
       
You need to have MPFR-4.1.1 installed on your system. See opam info mlmpfr for

     

       
32
       
 
       
all available versions."""

     

       
33
       
 
       
extra-files: ["mlmpfr_compatibility_test.c"

     

       
34
       
-
       
              "md5=e0072684415485936f3eb158a86fe38c"]

     

···

       
31
       
 
       
You need to have MPFR-4.1.1 installed on your system. See opam info mlmpfr for

     

       
32
       
 
       
all available versions."""

     

       
33
       
 
       
extra-files: ["mlmpfr_compatibility_test.c"

     

       
34
       
+
       
              "md5=672af9ba23d8bea8a9d65081c3b64dc1"]