···

       
38
       
38
       
 
       
available: arch != "arm32" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch"

     

       
39
       
39
       
 
       
url {

     

       
40
       
40
       
 
       
  src:

     

       
41
       
41
       
-
       
    "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3-unreleased/ocaml-cvc5-v1.1.3-unreleased.tar.gz"

     

       
41
       
41
       
+
       
    "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3/ocaml-cvc5-v1.1.3.unreleased.tar.gz"

     

       
42
       
42
       
 
       
  checksum: [

     

       
43
       
43
       
-
       
    "md5=0d6f257ead39a7135725809d3bbf66f7"

     

       
44
       
44
       
-
       
    "sha512=9df93944cbba98a8fb41ed39f46c0c1e8fb0804d07a73298d3450d3e9e055e4a380e8ee849d9910dcf335516ac27970342c52d0cba3fafa2e3e993d36a0a162a"

     

       
43
       
43
       
+
       
    "md5=2beb77e9db079cd585a9a9a19b76d1ec"

     

       
44
       
44
       
+
       
    "sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690"

     

       
45
       
45
       
 
       
  ]

     

       
46
       
46
       
 
       
}