···

       
47
       
47
       
 
       
  src:

     

       
48
       
48
       
 
       
    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.2.0/bitwuzla-cxx-0.2.0.tbz"

     

       
49
       
49
       
 
       
  checksum: [

     

       
50
       
50
       
-
       
    "sha256=6aa9b30709b6017f33624821820fe758c3c9cc9ad90b0d9d534f2d74fcdae552"

     

       
51
       
51
       
-
       
    "sha512=6c97a4443dd0a24334880a931221fa0a8a8756318d1494351e512b2376f4070b269876fb976c379e106bfea0a57fbb91c1194fb70ea5a6e39572f78fcd7d22f9"

     

       
50
       
50
       
+
       
    "sha256=d23669bcc95cc20ae2e9cf6bba5a52e9ba1d8ca15fd03c9225759ea4ab8e5fe1"

     

       
51
       
51
       
+
       
    "sha512=c15362cae25fe13567374f3d181327b3ea83735ea939a116aaae22cdc1f6ad87a5928dd01cf8d402140463a69840b9e906657af485e63d2ba74d87eaecd2258d"

     

       
52
       
52
       
 
       
  ]

     

       
53
       
53
       
 
       
}

     

       
54
       
54
       
-
       
x-commit-hash: "91875085d11a4f30f129fa1f1ae8496661ff0f19"
     

       
54
       
54
       
+
       
x-commit-hash: "464fa4befd65872ddf7e680af3f62c0156b64f2e"