···

       
8
       
8
       
 
       
depexts: [

     

       
9
       
9
       
 
       
  ["python3-distutils"] {os-family = "debian"}

     

       
10
       
10
       
 
       
]

     

       
11
       
11
       
-
       
build: [

     

       
11
       
11
       
+
       
patches: [

     

       
12
       
12
       
 
       
  "gccstd-2a.patch" { (os-family = "opensuse" | os-family = "suse") | (os-distribution = "ubuntu" & os-version <= "20.04") }

     

       
13
       
13
       
+
       
]

     

       
14
       
14
       
+
       
build: [

     

       
13
       
15
       
 
       
  [ make "-C" "build" "-j" jobs ]

     

       
14
       
16
       
 
       
]

     

       
15
       
17
       
 
       


     
···

       
41
       
43
       
 
       
    "sha512=c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e"

     

       
42
       
44
       
 
       
  ]

     

       
43
       
45
       
 
       
}

     

       
44
       
44
       
-
       
extra-source "gccstd-2a.patch" {

     

       
45
       
46
       
 
       
extra-source "gccstd-2a.patch" {

     

       
46
       
47
       
 
       
  src:

     

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