anil.recoil.org / opam-repository
this repo has no description
fork atom

[fix available] bitwuzla (0.0.1) and bitwuzla-bin (0.0.0)

Frédéric Recoules 804f2bf8 2430eccb

options
unified split
Changed files
+2 -4
packages
bitwuzla
bitwuzla.0.0.1
opam
bitwuzla-bin
bitwuzla-bin.0.0.0
opam
+1 -4
packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam 
···

       
19

       
 

       
  "conf-g++" {build}


     

       
20

       
 

       
  "conf-gmp" {build}


     

       
21

       
 

       
]


     

       
22

       
-

       
depexts: [


     

       
23

       
-

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


     

       
24

       
-

       
]


     

       
25

       
 

       
build: [


     

       
26

       
 

       
  ["dune" "subst"] {dev}


     

       
27

       
 

       
  [


     
···

       
44

       
 

       
    "sha512=a94a466ef8b299c18cde51dd82e1be61f357de0e5efe617320ee7a888aeb8f7cd53d278f1e70e80b24c43003afe9595b8ad97c91c07a866616003e39642b35e8"


     

       
45

       
 

       
  ]


     

       
46

       
 

       
}


     

       
47

       
-

       
available: [ os-family = "debian" | os-family = "alpine" | os-family = "fedora" ]


     
···

       
19

       
 

       
  "conf-g++" {build}


     

       
20

       
 

       
  "conf-gmp" {build}


     

       
21

       
 

       
]


     

       

       

       
     

       

       

       
     

       

       

       
     

       
22

       
 

       
build: [


     

       
23

       
 

       
  ["dune" "subst"] {dev}


     

       
24

       
 

       
  [


     
···

       
41

       
 

       
    "sha512=a94a466ef8b299c18cde51dd82e1be61f357de0e5efe617320ee7a888aeb8f7cd53d278f1e70e80b24c43003afe9595b8ad97c91c07a866616003e39642b35e8"


     

       
42

       
 

       
  ]


     

       
43

       
 

       
}


     

       
44

       
+

       
available: [ os-family = "debian" | os-family = "alpine" ]
+1
packages/bitwuzla/bitwuzla.0.0.1/opam 
···

       
47

       
 

       
    "sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4"


     

       
48

       
 

       
  ]


     

       
49

       
 

       
}


     

       

       

       
     
···

       
47

       
 

       
    "sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4"


     

       
48

       
 

       
  ]


     

       
49

       
 

       
}


     

       
50

       
+

       
available: [ os = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= 8) ]