commit 0216a698b42aa578684b9f12ae05f3229e07693e · anil.recoil.org/opam-repository

+1 -1

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

···

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

     

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

     

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

     

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

     

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

     

       18
        
       depexts: [

     

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

···

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

     

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

     

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

     

       16
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

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

     

       18
        
       depexts: [

     

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

+1 -1

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

···

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

     

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

     

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

     

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

     

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

     

       18
        
       depexts: [

     

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

···

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

     

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

     

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

     

       16
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

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

     

       18
        
       depexts: [

     

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

+1 -1

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

···

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

     

       20
        
       ]

     

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

     

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

     

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

     

       24
        
       depexts: [

     

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

···

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

     

       20
        
       ]

     

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

     

       22
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

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

     

       24
        
       depexts: [

     

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

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-family = "debian"}

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-family = "debian"}

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-distribution = "debian"}

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-distribution = "debian"}

+1 -1

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

···

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

     

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

     

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

     

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

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

···

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

     

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

     

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

     

       17
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

+1 -1

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

···

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

     

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

     

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

     

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

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

···

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

     

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

     

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

     

       17
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

+1 -1

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

···

       20
        
       ]

     

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

     

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

     

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

     

       24
        
       conflicts: [

     

       25
        
         "solo5-bindings-genode"

     

       26
        
         "solo5-bindings-hvt"

···

       20
        
       ]

     

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

     

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

     

       23
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       24
        
       conflicts: [

     

       25
        
         "solo5-bindings-genode"

     

       26
        
         "solo5-bindings-hvt"

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-genode"

     

       29
        
         "solo5-bindings-hvt"

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-genode"

     

       29
        
         "solo5-bindings-hvt"

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-genode"

     

       29
        
         "solo5-bindings-hvt"

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-genode"

     

       29
        
         "solo5-bindings-hvt"

+1 -1

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

···

       20
        
       ]

     

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

     

       22
        
       depends: "conf-pkg-config"

     

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

     

       24
        
       depexts: [

     

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

     

       26
        
         ["linux-libc-dev"] {os-family = "debian"}

···

       20
        
       ]

     

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

     

       22
        
       depends: "conf-pkg-config"

     

       23
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       24
        
       depexts: [

     

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

     

       26
        
         ["linux-libc-dev"] {os-family = "debian"}

+1 -1

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

···

       23
        
         "conf-pkg-config"

     

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

     

       25
        
       ]

     

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

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-family = "debian"}

···

       23
        
         "conf-pkg-config"

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-family = "debian"}

+1 -1

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

···

       23
        
         "conf-pkg-config"

     

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

     

       25
        
       ]

     

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

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-distribution = "debian"}

···

       23
        
         "conf-pkg-config"

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       depexts: [

     

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

     

       29
        
         ["linux-libc-dev"] {os-distribution = "debian"}

+1 -1

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

···

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

     

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

     

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

     

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

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

···

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

     

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

     

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

     

       17
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

+1 -1

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

···

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

     

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

     

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

     

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

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

···

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

     

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

     

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

     

       17
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       18
        
       conflicts: [

     

       19
        
         "solo5-bindings-genode"

     

       20
        
         "solo5-bindings-hvt"

+1 -1

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

···

       20
        
       ]

     

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

     

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

     

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

     

       24
        
       conflicts: [

     

       25
        
         "solo5-bindings-hvt"

     

       26
        
         "solo5-bindings-spt"

···

       20
        
       ]

     

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

     

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

     

       23
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       24
        
       conflicts: [

     

       25
        
         "solo5-bindings-hvt"

     

       26
        
         "solo5-bindings-spt"

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-hvt"

     

       29
        
         "solo5-bindings-spt"

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-hvt"

     

       29
        
         "solo5-bindings-spt"

+1 -1

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

···

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

     

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

     

       25
        
       ]

     

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

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-hvt"

     

       29
        
         "solo5-bindings-spt"

···

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

     

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

     

       25
        
       ]

     

       26
       +
       flags: deprecated # ./configure.sh is broken for gcc>=10

     

       27
        
       conflicts: [

     

       28
        
         "solo5-bindings-hvt"

     

       29
        
         "solo5-bindings-spt"

+1 -1

packages/solo5/solo5.0.7.0/opam

···

       52
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.0/solo5-v0.7.0.tar.gz"

     

       53
        
         checksum: "sha512=7d89539d4964c4c2133bddf82fab865db523b069845b2f6367f3f2bf68e743cfe97e5ffff6fa90a217cc9392078b52de63ecd8e540e9a50c39f435fded0717d0"

     

       54
        
       }

     

       55
       -
       flags: [ avoid-version ] # uses -Werror

···

       52
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.0/solo5-v0.7.0.tar.gz"

     

       53
        
         checksum: "sha512=7d89539d4964c4c2133bddf82fab865db523b069845b2f6367f3f2bf68e743cfe97e5ffff6fa90a217cc9392078b52de63ecd8e540e9a50c39f435fded0717d0"

     

       54
        
       }

     

       55
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.7.1/opam

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.1/solo5-v0.7.1.tar.gz"

     

       51
        
         checksum: "sha512=ccbe136a402b856dc99e5da449f62c1ed24f49b676ebae0a715a1f043cb0762ac404754f0887039d3dbdef1cd413a0a7e4d92b8dee562f06d3932fcb668180ed"

     

       52
        
       }

     

       53
       -
       flags: [ avoid-version ] # uses -Werror

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.1/solo5-v0.7.1.tar.gz"

     

       51
        
         checksum: "sha512=ccbe136a402b856dc99e5da449f62c1ed24f49b676ebae0a715a1f043cb0762ac404754f0887039d3dbdef1cd413a0a7e4d92b8dee562f06d3932fcb668180ed"

     

       52
        
       }

     

       53
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.7.2/opam

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.2/solo5-v0.7.2.tar.gz"

     

       51
        
         checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"

     

       52
        
       }

     

       53
       -
       flags: [ avoid-version ] # uses -Werror

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.2/solo5-v0.7.2.tar.gz"

     

       51
        
         checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"

     

       52
        
       }

     

       53
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.7.3/opam

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.3/solo5-v0.7.3.tar.gz"

     

       51
        
         checksum: "sha512=cafc590923b7bb53f27d46255914af620e47f14ce772c2e03afb0badf3c89abe06e625db290a8ccfaf280320ad4e63cf4876106f5d1d8a7801b13ccb5c033f2d"

     

       52
        
       }

     

       53
       -
       flags: [ avoid-version ] # uses -Werror

···

       50
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.3/solo5-v0.7.3.tar.gz"

     

       51
        
         checksum: "sha512=cafc590923b7bb53f27d46255914af620e47f14ce772c2e03afb0badf3c89abe06e625db290a8ccfaf280320ad4e63cf4876106f5d1d8a7801b13ccb5c033f2d"

     

       52
        
       }

     

       53
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.7.4/opam

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.4/solo5-v0.7.4.tar.gz"

     

       52
        
         checksum: "sha512=1a47ee4a9e08704ae7aa5f48efdd79e33ae83d4d2f60a2c8ef7db33c85412cd1f0b023b4acc0ad6123377933a2ce6841590cf127fd2c062ff8d1594f36cddda1"

     

       53
        
       }

     

       54
       -
       flags: [ avoid-version ] # uses -Werror

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.4/solo5-v0.7.4.tar.gz"

     

       52
        
         checksum: "sha512=1a47ee4a9e08704ae7aa5f48efdd79e33ae83d4d2f60a2c8ef7db33c85412cd1f0b023b4acc0ad6123377933a2ce6841590cf127fd2c062ff8d1594f36cddda1"

     

       53
        
       }

     

       54
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.7.5/opam

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz"

     

       52
        
         checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79"

     

       53
        
       }

     

       54
       -
       flags: [ avoid-version ] # uses -Werror

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz"

     

       52
        
         checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79"

     

       53
        
       }

     

       54
       +
       flags: [ deprecated ] # uses -Werror

+1 -1

packages/solo5/solo5.0.8.0/opam

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz"

     

       52
        
         checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b"

     

       53
        
       }

     

       54
       -
       flags: [ avoid-version ] # uses -Werror

···

       51
        
         src: "https://github.com/Solo5/solo5/releases/download/v0.8.0/solo5-v0.8.0.tar.gz"

     

       52
        
         checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b"

     

       53
        
       }

     

       54
       +
       flags: [ deprecated ] # uses -Werror