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

Fix

Christoph M. Wintersteiger cdd77dc1 ddac2f71

options
unified split
Changed files
-5
packages
z3
z3.4.13.3
opam
-5
packages/z3/z3.4.13.3/opam 
···

       
50

       
50

       
 

       
  checksum:


     

       
51

       
51

       
 

       
    "sha256=ae4088ff14739bcc2cadc90bc428f08277e898b832f6b859a46e23c584d513c8"


     

       
52

       
52

       
 

       
}


     

       
53

       

       
-

       
  src:


     

       
54

       

       
-

       
    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/z3/gccstd-2a.patch"


     

       
55

       

       
-

       
  checksum:


     

       
56

       

       
-

       
    "sha256=ae4088ff14739bcc2cadc90bc428f08277e898b832f6b859a46e23c584d513c8"


     

       
57

       

       
-

       
}