···

       
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=b6c7ac74d8e1ed8974e08f0975c1ca55b1afd05e4326e4ded8c545e9601efa84"

     

       
51
       
51
       
-
       
    "sha512=f6b0152330555e6584de65700904e9c04fb60852584c6ce2e0e3973a0ba01623567eca5564998618570efd43a995fdad96617ec10541cc7a8474932b173235d6"

     

       
50
       
50
       
+
       
    "sha256=6aa9b30709b6017f33624821820fe758c3c9cc9ad90b0d9d534f2d74fcdae552"

     

       
51
       
51
       
+
       
    "sha512=6c97a4443dd0a24334880a931221fa0a8a8756318d1494351e512b2376f4070b269876fb976c379e106bfea0a57fbb91c1194fb70ea5a6e39572f78fcd7d22f9"

     

       
52
       
52
       
 
       
  ]

     

       
53
       
53
       
 
       
}

     

       
54
       
54
       
-
       
x-commit-hash: "749d16c90984c627f1a7108c380977e6fd382618"
     

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