commit 7dffa9c0e04ecdce7c56e82c3e49ea7c8c4faf41 · anil.recoil.org/opam-repository

+32

packages/conf-pkg-config/conf-pkg-config.3/opam

···

       1
       1
       +
       opam-version: "2.0"

     

       2
       2
       +
       maintainer: "unixjunkie@sdf.org"

     

       3
       3
       +
       authors: ["Francois Berenger"]

     

       4
       4
       +
       homepage: "http://www.freedesktop.org/wiki/Software/pkg-config/"

     

       5
       5
       +
       bug-reports: "https://github.com/ocaml/opam-repository/issues"

     

       6
       6
       +
       license: "GPL-1.0-or-later"

     

       7
       7
       +
       build: [

     

       8
       8
       +
         ["pkg-config" "--help"] {os != "openbsd"}

     

       9
       9
       +
       ]

     

       10
       10
       +
       depexts: [

     

       11
       11
       +
         ["pkg-config"] {os-family = "debian"}

     

       12
       12
       +
         ["pkgconf"] {os-distribution = "arch"}

     

       13
       13
       +
         ["pkgconf-pkg-config"] {os-distribution = "fedora"}

     

       14
       14
       +
         ["pkgconfig"] {os-distribution = "centos" & os-version <= "7"}

     

       15
       15
       +
         ["pkgconf-pkg-config"] {os-distribution = "mageia"}

     

       16
       16
       +
         ["pkgconfig"] {os-distribution = "rhel" & os-version <= "7"}

     

       17
       17
       +
         ["pkgconfig"] {os-distribution = "ol" & os-version <= "7"}

     

       18
       18
       +
         ["pkgconf"] {os-distribution = "alpine"}

     

       19
       19
       +
         ["pkgconfig"] {os-distribution = "nixos"}

     

       20
       20
       +
         ["pkg-config"] {os = "macos" & os-distribution = "homebrew"}

     

       21
       21
       +
         ["pkgconfig"] {os = "macos" & os-distribution = "macports"}

     

       22
       22
       +
         ["pkgconf"] {os = "freebsd"}

     

       23
       23
       +
         ["pkgconf-pkg-config"] {os-distribution = "rhel" & os-version >= "8"}

     

       24
       24
       +
         ["pkgconf-pkg-config"] {os-distribution = "centos" & os-version >= "8"}

     

       25
       25
       +
         ["pkgconf-pkg-config"] {os-distribution = "ol" & os-version >= "8"}

     

       26
       26
       +
         ["system:pkgconf"] {os = "win32" & os-distribution = "cygwinports"}

     

       27
       27
       +
       ]

     

       28
       28
       +
       synopsis: "Check if pkg-config is installed and create an opam switch local pkgconfig folder"

     

       29
       29
       +
       description: """

     

       30
       30
       +
       This package can only install if the pkg-config package is installed

     

       31
       31
       +
       on the system."""

     

       32
       32
       +
       flags: conf

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.1.1/opam

···

       10
       10
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
        
         "ocaml" {>= "4.02.3" & <= "4.03.0"}

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind"

     

       15
       15
        
         "ocaml-src"

     

       16
       16
        
         "solo5-kernel-ukvm" {< "0.3.0"} | "solo5-kernel-virtio" {< "0.3.0"}

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.2.1/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.02.3" & < "4.05.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind"

     

       16
       16
        
         "ocaml-src"

     

       17
       17
        
         "solo5-kernel-ukvm" {< "0.3.0"} | "solo5-kernel-virtio" {< "0.3.0"}

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.2.2/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.02.3" & < "4.06.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind"

     

       16
       16
        
         "ocaml-src"

     

       17
       17
        
         "solo5-kernel-ukvm" {< "0.3.0"} | "solo5-kernel-virtio" {< "0.3.0"} |

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.2.3/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.02.3" & < "4.07.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind"

     

       16
       16
        
         "ocaml-src"

     

       17
       17
        
         "solo5-kernel-ukvm" {< "0.3.0"} | "solo5-kernel-virtio" {< "0.3.0"} |

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.3.0/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.04.2" & < "4.07.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind"

     

       16
       16
        
         "ocaml-src"

     

       17
       17
        
         "solo5-kernel-ukvm" {>= "0.3.0"} | "solo5-kernel-virtio" {>= "0.3.0"} |

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.3.1/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.04.2" & < "4.08.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocaml-src" {build}

     

       17
       17
        
         "solo5-kernel-ukvm" {>= "0.3.0"} | "solo5-kernel-virtio" {>= "0.3.0"} |

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.0/opam

···

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.04.2" & < "4.08.0"}

     

       14
       14
       -
         "conf-pkg-config"

     

       14
       14
       +
         "conf-pkg-config" {< "3"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocaml-src" {build}

     

       17
       17
        
         "solo5-bindings-hvt" | "solo5-bindings-virtio" | "solo5-bindings-muen"

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.1/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-virtio" | "solo5-bindings-muen" )

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.2/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.4/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.5/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.6/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.4.7/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.5.0/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.0/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.2/opam

···

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       remove: [make "uninstall" "PREFIX=%{prefix}%"]

     

       12
       12
        
       depends: [

     

       13
       13
       -
         "conf-pkg-config"

     

       13
       13
       +
         "conf-pkg-config" {< "3"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
        
         "ocaml-src" {build}

     

       16
       16
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.3/opam

···

       9
       9
        
       build: [make]

     

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
       -
         "conf-pkg-config"

     

       12
       12
       +
         "conf-pkg-config" {< "3"}

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocaml-src" {build}

     

       15
       15
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.4/opam

···

       9
       9
        
       build: [make]

     

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
       -
         "conf-pkg-config"

     

       12
       12
       +
         "conf-pkg-config" {< "3"}

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocaml-src" {build}

     

       15
       15
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.5/opam

···

       9
       9
        
       build: [make]

     

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
       -
         "conf-pkg-config"

     

       12
       12
       +
         "conf-pkg-config" {< "3"}

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocaml-src" {build}

     

       15
       15
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.6/opam

···

       9
       9
        
       build: [make]

     

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
       -
         "conf-pkg-config"

     

       12
       12
       +
         "conf-pkg-config" {< "3"}

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocaml-src" {build}

     

       15
       15
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/ocaml-freestanding/ocaml-freestanding.0.6.7/opam

···

       9
       9
        
       build: [make]

     

       10
       10
        
       install: [make "install" "PREFIX=%{prefix}%"]

     

       11
       11
        
       depends: [

     

       12
       12
       -
         "conf-pkg-config"

     

       12
       12
       +
         "conf-pkg-config" {< "3"}

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocaml-src" {build}

     

       15
       15
        
         ("solo5-bindings-hvt" | "solo5-bindings-spt" | "solo5-bindings-virtio" | "solo5-bindings-muen" | "solo5-bindings-genode" | "solo5-bindings-xen")

+1 -1

packages/solo5-bindings-genode/solo5-bindings-genode.0.4.1/opam

···

       10
       10
        
       build: [make "genode"]

     

       11
       11
        
       install: [make "opam-genode-install" "PREFIX=%{prefix}%"]

     

       12
       12
        
       remove: [make "opam-genode-uninstall" "PREFIX=%{prefix}%"]

     

       13
       13
       -
       depends: "conf-pkg-config"

     

       13
       13
       +
       depends: "conf-pkg-config"  {< "3"}

     

       14
       14
        
       conflicts: [

     

       15
       15
        
         "solo5-bindings-hvt"

     

       16
       16
        
         "solo5-bindings-muen"

+1 -1

packages/solo5-bindings-genode/solo5-bindings-genode.0.6.2/opam

···

       16
       16
        
         ["touch" "./Makeconf"]

     

       17
       17
        
         [make "V=1" "uninstall-opam-genode" "PREFIX=%{prefix}%"]

     

       18
       18
        
       ]

     

       19
       19
       -
       depends: "conf-pkg-config"

     

       19
       19
       +
       depends: "conf-pkg-config" {< "3"}

     

       20
       20
        
       conflicts: [

     

       21
       21
        
         "solo5-bindings-hvt"

     

       22
       22
        
         "solo5-bindings-spt"

+1 -1

packages/solo5-bindings-genode/solo5-bindings-genode.0.6.3/opam

···

       17
       17
        
         [make "V=1" "uninstall-opam-genode" "PREFIX=%{prefix}%"]

     

       18
       18
        
       ]

     

       19
       19
        
       depends: [

     

       20
       20
       -
         "conf-pkg-config"

     

       20
       20
       +
         "conf-pkg-config" {< "3"}

     

       21
       21
        
         "conf-libseccomp" {build & os = "linux"}

     

       22
       22
        
       ]

     

       23
       23
        
       conflicts: [

+1 -1

packages/solo5-bindings-genode/solo5-bindings-genode.0.6.4/opam

···

       17
       17
        
         [make "V=1" "uninstall-opam-genode" "PREFIX=%{prefix}%"]

     

       18
       18
        
       ]

     

       19
       19
        
       depends: [

     

       20
       20
       -
         "conf-pkg-config"

     

       20
       20
       +
         "conf-pkg-config" {< "3"}

     

       21
       21
        
         "conf-libseccomp" {build & os = "linux"}

     

       22
       22
        
       ]

     

       23
       23
        
       conflicts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.0/opam

···

       12
       12
        
       build: [make "hvt"]

     

       13
       13
        
       install: [make "opam-hvt-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-hvt-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
       -
       depends: "conf-pkg-config"

     

       15
       15
       +
       depends: "conf-pkg-config" {< "3"}

     

       16
       16
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       17
       17
        
       x-ci-accept-failures: ["debian-unstable"]

     

       18
       18
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.4.1/opam

···

       12
       12
        
       build: [make "hvt"]

     

       13
       13
        
       install: [make "opam-hvt-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-hvt-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
       -
       depends: "conf-pkg-config"

     

       15
       15
       +
       depends: "conf-pkg-config" {< "3"}

     

       16
       16
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       17
       17
        
       x-ci-accept-failures: ["debian-unstable"]

     

       18
       18
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.2/opam

···

       18
       18
        
         ["touch" "./Makeconf"]

     

       19
       19
        
         [make "V=1" "uninstall-opam-hvt" "PREFIX=%{prefix}%"]

     

       20
       20
        
       ]

     

       21
       21
       -
       depends: "conf-pkg-config"

     

       21
       21
       +
       depends: "conf-pkg-config" {< "3"}

     

       22
       22
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       23
       23
        
       x-ci-accept-failures: ["debian-unstable"]

     

       24
       24
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.3/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.4/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.5/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-hvt" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.6/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-hvt" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.7/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-hvt" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.8/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-hvt" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       depexts: [

+1 -1

packages/solo5-bindings-hvt/solo5-bindings-hvt.0.6.9/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-hvt" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       depexts: [

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.4.0/opam

···

       13
       13
        
       install: [make "opam-muen-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
       -
       depends: "conf-pkg-config"

     

       16
       16
       +
       depends: "conf-pkg-config" {< "3"}

     

       17
       17
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       18
       18
        
       conflicts: [

     

       19
       19
        
         "solo5-bindings-genode"

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.4.1/opam

···

       13
       13
        
       install: [make "opam-muen-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
       -
       depends: "conf-pkg-config"

     

       16
       16
       +
       depends: "conf-pkg-config" {< "3"}

     

       17
       17
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       18
       18
        
       conflicts: [

     

       19
       19
        
         "solo5-bindings-genode"

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.2/opam

···

       19
       19
        
         [make "V=1" "uninstall-opam-muen" "PREFIX=%{prefix}%"]

     

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
       -
       depends: "conf-pkg-config"

     

       22
       22
       +
       depends: "conf-pkg-config" {< "3"}

     

       23
       23
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "solo5-bindings-genode"

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.3/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.4/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.5/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "install-opam-muen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.6/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-muen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.7/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-muen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.8/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-muen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-muen/solo5-bindings-muen.0.6.9/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-muen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.0/opam

···

       13
       13
        
       install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
       -
       depends: "conf-pkg-config"

     

       16
       16
       +
       depends: "conf-pkg-config" {< "3"}

     

       17
       17
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       18
       18
        
       conflicts: [

     

       19
       19
        
         "solo5-bindings-genode"

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.4.1/opam

···

       13
       13
        
       install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]

     

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
       -
       depends: "conf-pkg-config"

     

       16
       16
       +
       depends: "conf-pkg-config" {< "3"}

     

       17
       17
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       18
       18
        
       conflicts: [

     

       19
       19
        
         "solo5-bindings-genode"

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.2/opam

···

       19
       19
        
         [make "V=1" "uninstall-opam-virtio" "PREFIX=%{prefix}%"]

     

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
       -
       depends: "conf-pkg-config"

     

       22
       22
       +
       depends: "conf-pkg-config" {< "3"}

     

       23
       23
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

     

       24
       24
        
       conflicts: [

     

       25
       25
        
         "solo5-bindings-hvt"

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.3/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.4/opam

···

       20
       20
        
       ]

     

       21
       21
        
       x-ci-accept-failures: ["debian-unstable"]

     

       22
       22
        
       depends: [

     

       23
       23
       -
         "conf-pkg-config"

     

       23
       23
       +
         "conf-pkg-config" {< "3"}

     

       24
       24
        
         "conf-libseccomp" {build & os = "linux"}

     

       25
       25
        
       ]

     

       26
       26
        
       flags: avoid-version # ./configure.sh is broken for gcc>=10

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.5/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-virtio" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.6/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-virtio" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.7/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-virtio" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.8/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-virtio" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-virtio/solo5-bindings-virtio.0.6.9/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-virtio" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-xen/solo5-bindings-xen.0.6.6/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-xen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-xen/solo5-bindings-xen.0.6.7/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-xen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-xen/solo5-bindings-xen.0.6.8/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-xen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-bindings-xen/solo5-bindings-xen.0.6.9/opam

···

       15
       15
        
       ]

     

       16
       16
        
       install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "install-opam-xen" "PREFIX=%{prefix}%"]

     

       17
       17
        
       depends: [

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
         "conf-libseccomp" {build & os = "linux"}

     

       20
       20
        
       ]

     

       21
       21
        
       conflicts: [

+1 -1

packages/solo5-kernel-muen/solo5-kernel-muen.0.3.0/opam

···

       14
       14
        
       remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: [

     

       20
       20
        
         "solo5-kernel-ukvm"

+1 -1

packages/solo5-kernel-muen/solo5-kernel-muen.0.3.1/opam

···

       14
       14
        
       remove: [make "opam-muen-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: [

     

       20
       20
        
         "solo5-kernel-ukvm"

+1 -1

packages/solo5-kernel-ukvm/solo5-kernel-ukvm.0.3.0/opam

···

       14
       14
        
       remove: [make "opam-ukvm-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       depexts: [

     

       20
       20
        
         ["linux-headers"] {os-distribution = "alpine"}

+1 -1

packages/solo5-kernel-ukvm/solo5-kernel-ukvm.0.3.1/opam

···

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
        
       depends: [

     

       17
       17
        
         "ocaml" {>= "4.02.3"}

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
       ]

     

       20
       20
        
       depexts: [

     

       21
       21
        
         ["linux-headers"] {os-distribution = "alpine"}

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.1.1/opam

···

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: "solo5-kernel-ukvm"

     

       20
       20
        
       x-ci-accept-failures: ["debian-unstable"]

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.2.1/opam

···

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: "solo5-kernel-ukvm"

     

       20
       20
        
       x-ci-accept-failures: ["debian-unstable"]

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.2.2-1/opam

···

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: "solo5-kernel-ukvm"

     

       20
       20
        
       available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.2.2/opam

···

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: "solo5-kernel-ukvm"

     

       20
       20
        
       x-ci-accept-failures: ["debian-unstable"]

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.3.0/opam

···

       14
       14
        
       remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
        
         "ocaml" {>= "4.02.3"}

     

       17
       17
       -
         "conf-pkg-config"

     

       17
       17
       +
         "conf-pkg-config" {< "3"}

     

       18
       18
        
       ]

     

       19
       19
        
       conflicts: [

     

       20
       20
        
         "solo5-kernel-ukvm"

+1 -1

packages/solo5-kernel-virtio/solo5-kernel-virtio.0.3.1/opam

···

       15
       15
        
       x-ci-accept-failures: ["debian-unstable"]

     

       16
       16
        
       depends: [

     

       17
       17
        
         "ocaml" {>= "4.02.3"}

     

       18
       18
       -
         "conf-pkg-config"

     

       18
       18
       +
         "conf-pkg-config" {< "3"}

     

       19
       19
        
       ]

     

       20
       20
        
       conflicts: [

     

       21
       21
        
         "solo5-kernel-ukvm"

+1 -1

packages/zarith-freestanding/zarith-freestanding.1.10/opam

···

       12
       12
        
         "gmp-freestanding" {>= "6.1.2-2"}

     

       13
       13
        
         "zarith" {= "1.10"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
       -
         "conf-pkg-config" {build}

     

       15
       15
       +
         "conf-pkg-config" {build & < "3"}

     

       16
       16
        
       ]

     

       17
       17
        
       patches: [ "no-dynlink.patch" ]

     

       18
       18
        
       synopsis:

+1 -1

packages/zarith-freestanding/zarith-freestanding.1.11/opam

···

       12
       12
        
         "gmp-freestanding" {>= "6.1.2-2"}

     

       13
       13
        
         "zarith" {= "1.11"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
       -
         "conf-pkg-config" {build}

     

       15
       15
       +
         "conf-pkg-config" {build & < "3"}

     

       16
       16
        
       ]

     

       17
       17
        
       patches: [ "no-dynlink.patch" ]

     

       18
       18
        
       synopsis:

+1 -1

packages/zarith-freestanding/zarith-freestanding.1.12/opam

···

       12
       12
        
         "gmp-freestanding" {>= "6.1.2-2"}

     

       13
       13
        
         "zarith" {= "1.12"}

     

       14
       14
        
         "ocamlfind" {build}

     

       15
       15
       -
         "conf-pkg-config" {build}

     

       15
       15
       +
         "conf-pkg-config" {build & < "3"}

     

       16
       16
        
       ]

     

       17
       17
        
       patches: [ "no-dynlink.patch" ]

     

       18
       18
        
       synopsis: