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

Merge pull request #24375 from jmid/conf-unwind-ubuntu

conf-unwind.1 with a fix for os-family=ubuntu

anil.recoil.org 8c698f31 609cd39a

options
unified split
Changed files
+1 -1
packages
conf-unwind
conf-unwind.0
opam
+1 -1
packages/conf-unwind/conf-unwind.0/opam 
···

       
7

       
7

       
 

       
build: [["pkg-config" "--short-errors" "--print-errors" "libunwind"]]


     

       
8

       
8

       
 

       
depends: ["conf-pkg-config" {build}]


     

       
9

       
9

       
 

       
depexts: [


     

       
10

       

       
-

       
  ["libunwind-dev"] {os-family = "debian"}


     

       

       
10

       
+

       
  ["libunwind-dev"] {os-family = "debian" | os-family = "ubuntu"}


     

       
11

       
11

       
 

       
  ["libunwind-devel"] {os-distribution = "centos"}


     

       
12

       
12

       
 

       
  ["libunwind-devel"] {os-distribution = "rhel"}


     

       
13

       
13

       
 

       
  ["libunwind-devel"] {os-distribution = "fedora"}