···

       
20
       
20
       
 
       
  "conf-gmp" {build}

     

       
21
       
21
       
 
       
]

     

       
22
       
22
       
 
       
depexts: [

     

       
23
       
23
       
-
       
  ["libstdc++-static" "libc-static" "gcc-static"] {os = "fedora"}

     

       
23
       
23
       
+
       
  ["libstdc++-static" "libc-static" "gcc-static"] {os-family = "fedora"}

     

       
24
       
24
       
 
       
]

     

       
25
       
25
       
 
       
build: [

     

       
26
       
26
       
 
       
  ["dune" "subst"] {dev}

     

···

       
38
       
38
       
 
       
  ]

     

       
39
       
39
       
 
       
]

     

       
40
       
40
       
 
       
dev-repo: "git+https://github.com/bitwuzla/ocaml-bitwuzla.git"

     

       
41
       
41
       
-
       
x-commit-hash: "0c7368a5f47fba40f66caf6fe2138ccf7536633d"

     

       
41
       
41
       
+
       
x-commit-hash: "e070b27a7d44df3e74b4f3447122afe5f016e344"

     

       
42
       
42
       
 
       
url {

     

       
43
       
43
       
 
       
  src:

     

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

     

       
45
       
45
       
 
       
  checksum: [

     

       
46
       
46
       
-
       
    "sha256=c727ca57fbb7e0a4b860dd0b2010fdc1d848b2ce6bb381ffd70307959a03d0d7"

     

       
47
       
47
       
-
       
    "sha512=ebcf66150d0d0f26b246723452bcec23cad37d6cb81d4d5b6301723c3a6d91ce170eda69a25bc1c6c4b05a4d6c89830805e41a1fdcde5853c8273a58262a2938"

     

       
46
       
46
       
+
       
    "sha256=2c486dbb38240297ddf18b118c5df552acf748630e0d63f6e12ce96f6ad42645"

     

       
47
       
47
       
+
       
    "sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4"

     

       
48
       
48
       
 
       
  ]

     

       
49
       
49
       
 
       
}

     

       
50
       
50
       
-
       


     

       
51
       
51
       
-
       
available: [ os = "linux" ]