this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27736 from Leonidas-from-XIV/core-unix-glibc

`core_unix` does not build on non-glibc Linux

authored by

Marcello Seri and committed by
GitHub
34a3fc46 835997bf

+2 -3
+1 -2
packages/core_unix/core_unix.v0.16.0/opam
··· 29 29 description: " 30 30 Unix-specific extensions to some of the modules defined in [core] and [core_kernel]. 31 31 " 32 - depexts: ["linux-headers"] {os-family = "alpine"} 33 - available: [ !(os = "freebsd" & os-version >= "14") ] 32 + available: [ !(os = "freebsd" & os-version >= "14") & os-distribution != "alpine" ] 34 33 url { 35 34 src: "https://ocaml.janestreet.com/ocaml-core/v0.16/files/core_unix-v0.16.0.tar.gz" 36 35 checksum: "sha256=4f70a9d3a761799d00c0a207942b4abd9f1a144bbcb19df98021d9fb7bfa9e5f"
+1 -1
packages/core_unix/core_unix.v0.17.0/opam
··· 25 25 "dune" {>= "3.11.0"} 26 26 "spawn" {>= "v0.15"} 27 27 ] 28 - available: [ (arch = "x86_64" | arch = "arm64") & !(os = "freebsd" & os-version >= "14") ] 28 + available: [ (arch = "x86_64" | arch = "arm64") & !(os = "freebsd" & os-version >= "14") & os-distribution != "alpine"] 29 29 synopsis: "Unix-specific portions of Core" 30 30 description: " 31 31 Unix-specific extensions to some of the modules defined in [core] and [core_kernel].