this repo has no description
Merge pull request #25977 from Leonidas-from-XIV/core-unix-rdtsc
Mark `core_unix.v0.17.0` as unavailable on more architectures
authored by
Marcello Seri
and committed by
GitHub
7c9334f2
704b9425
+1
-1
+1
-1
packages/core_unix/core_unix.v0.17.0/opam
+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 != "arm32" & arch != "x86_32"
28
+
available: arch = "x86_64" | arch = "arm64"
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].