···

       
43
       
43
       
 
       
  src:

     

       
44
       
44
       
 
       
    "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.5.0/bitwuzla-cxx-0.5.0.tbz"

     

       
45
       
45
       
 
       
  checksum: [

     

       
46
       
46
       
-
       
    "sha256=5a23266ed611999099b12ab270c5772a8098e7828648b85a0f17e80192c4f293"

     

       
47
       
47
       
-
       
    "sha512=8d0571c24994bb5b40ee13a962fb51b1aa63540a7c102bc73b52d4f8765dd43d1ff2dcd40b2c9bf70f2739e45c33ddb109cdcee0c11fa96ae7350c523ecd1d1e"

     

       
46
       
46
       
+
       
    "sha256=aa1c32619e7e4a50467da1b7ba0a8e2629a245713a498e0bf4fc8bf68355895d"

     

       
47
       
47
       
+
       
    "sha512=5e11656a0a41c6102352671b95d4fb347dbeb72925d1cefedbad7f708cee26e9f548bc5f06c5eed1cc52545bd4aa13ffc8ba8ea57a4bcb420c49d1a2412a121c"

     

       
48
       
48
       
 
       
  ]

     

       
49
       
49
       
 
       
}

     

       
50
       
50
       
-
       
x-commit-hash: "13c1b5747b8228ba95fefa9db40d4d471de418ed"
     

       
50
       
50
       
+
       
x-commit-hash: "c0b2316360544d5ca9b79e950e0e6f4ef96a07f6"