···

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

     

       
51
       
51
       
-
       
    "sha512=c15362cae25fe13567374f3d181327b3ea83735ea939a116aaae22cdc1f6ad87a5928dd01cf8d402140463a69840b9e906657af485e63d2ba74d87eaecd2258d"

     

       
50
       
50
       
+
       
    "sha256=26950e1f1247a755c1a410a4709e06ba42d6a73a6a90d2a7d29a2e0088e95603"

     

       
51
       
51
       
+
       
    "sha512=a700abb74be74b24eefe282207803f3a35c36ddd52d0fe0bfb7225f8149d02afaa063431adba054307a52f451af00f07c5c525ba6b09255aae8f0bbf4da2e5a3"

     

       
52
       
52
       
 
       
  ]

     

       
53
       
53
       
 
       
}

     

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

       
54
       
54
       
+
       
x-commit-hash: "f40b7c00bcc0ee2c9c17a6d6367073d4f3485ea4"