commit bc3f7a82dc848fa561f9d9c3a97df45a147a030a · anil.recoil.org/opam-repository

+1

packages/hacl-star-raw/hacl-star-raw.0.3.0-1/opam

···

       21
        
         "centos-7" # Default C compiler is too old

     

       22
        
         "oraclelinux-7" # Default C compiler is too old

     

       23
        
       ]

     

       0
        
       
     

       24
        
       available: [ os-family != "bsd" & arch != "ppc64" & arch != "ppc32" & arch != "x86_32" ]

     

       25
        
       build: [

     

       26
        
         ["sh" "-exc" "cd gcc-compatible && ./configure"]

···

       21
        
         "centos-7" # Default C compiler is too old

     

       22
        
         "oraclelinux-7" # Default C compiler is too old

     

       23
        
       ]

     

       24
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       25
        
       available: [ os-family != "bsd" & arch != "ppc64" & arch != "ppc32" & arch != "x86_32" ]

     

       26
        
       build: [

     

       27
        
         ["sh" "-exc" "cd gcc-compatible && ./configure"]

+1

packages/hacl-star-raw/hacl-star-raw.0.3.0/opam

···

       17
        
         "ctypes-foreign"

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       0
        
       
     

       20
        
       x-ci-accept-failures: [

     

       21
        
         "centos-7" # Default C compiler is too old

     

       22
        
         "oraclelinux-7" # Default C compiler is too old

···

       17
        
         "ctypes-foreign"

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       20
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       21
        
       x-ci-accept-failures: [

     

       22
        
         "centos-7" # Default C compiler is too old

     

       23
        
         "oraclelinux-7" # Default C compiler is too old

+1

packages/hacl-star-raw/hacl-star-raw.0.3.2/opam

···

       17
        
         "ctypes-foreign"

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       0
        
       
     

       20
        
       available: os-family != "bsd"

     

       21
        
       x-ci-accept-failures: [

     

       22
        
         "centos-7" # GCC is too old

···

       17
        
         "ctypes-foreign"

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       20
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       21
        
       available: os-family != "bsd"

     

       22
        
       x-ci-accept-failures: [

     

       23
        
         "centos-7" # GCC is too old

+1

packages/hacl-star-raw/hacl-star-raw.0.4.0/opam

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available: os-family != "bsd"

     

       22
        
       x-ci-accept-failures: [

     

       23
        
         "centos-7" # Default C compiler is too old

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available: os-family != "bsd"

     

       23
        
       x-ci-accept-failures: [

     

       24
        
         "centos-7" # Default C compiler is too old

+1

packages/hacl-star-raw/hacl-star-raw.0.4.1/opam

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available: [

     

       22
        
         os = "freebsd" | os-family != "bsd"

     

       23
        
       ]

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available: [

     

       23
        
         os = "freebsd" | os-family != "bsd"

     

       24
        
       ]

+1

packages/hacl-star-raw/hacl-star-raw.0.4.2/opam

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available: [

     

       22
        
         os = "freebsd" | os-family != "bsd"

     

       23
        
       ]

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available: [

     

       23
        
         os = "freebsd" | os-family != "bsd"

     

       24
        
       ]

+1

packages/hacl-star-raw/hacl-star-raw.0.4.3/opam

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available: [

     

       22
        
         os = "freebsd" | os-family != "bsd"

     

       23
        
       ]

···

       18
        
         "ctypes-foreign"

     

       19
        
         "conf-which" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available: [

     

       23
        
         os = "freebsd" | os-family != "bsd"

     

       24
        
       ]

+1

packages/hacl-star-raw/hacl-star-raw.0.4.4/opam

···

       17
        
         "ctypes" { >= "0.18.0" }

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       0
        
       
     

       20
        
       available: [

     

       21
        
         os = "freebsd" | os-family != "bsd"

     

       22
        
       ]

···

       17
        
         "ctypes" { >= "0.18.0" }

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       20
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       21
        
       available: [

     

       22
        
         os = "freebsd" | os-family != "bsd"

     

       23
        
       ]

+1

packages/hacl-star-raw/hacl-star-raw.0.4.5/opam

···

       17
        
         "ctypes" { >= "0.18.0" }

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       0
        
       
     

       20
        
       available: [

     

       21
        
         arch != "ppc64" & arch != "ppc32" &

     

       22
        
         (os = "freebsd" | os-family != "bsd")

···

       17
        
         "ctypes" { >= "0.18.0" }

     

       18
        
         "conf-which" {build}

     

       19
        
       ]

     

       20
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       21
        
       available: [

     

       22
        
         arch != "ppc64" & arch != "ppc32" &

     

       23
        
         (os = "freebsd" | os-family != "bsd")

+1

packages/hacl-star-raw/hacl-star-raw.0.5.0/opam

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available:

     

       22
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       23
        
         (os = "freebsd" | os-family != "bsd")

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available:

     

       23
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       24
        
         (os = "freebsd" | os-family != "bsd")

+1

packages/hacl-star-raw/hacl-star-raw.0.6.0/opam

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available:

     

       22
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       23
        
         (os = "freebsd" | os-family != "bsd")

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available:

     

       23
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       24
        
         (os = "freebsd" | os-family != "bsd")

+1

packages/hacl-star-raw/hacl-star-raw.0.6.1/opam

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available:

     

       22
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       23
        
         (os = "freebsd" | os-family != "bsd")

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available:

     

       23
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       24
        
         (os = "freebsd" | os-family != "bsd")

+1

packages/hacl-star-raw/hacl-star-raw.0.6.2/opam

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       0
        
       
     

       21
        
       available:

     

       22
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       23
        
         (os = "freebsd" | os-family != "bsd")

···

       18
        
         "conf-which" {build}

     

       19
        
         "conf-cmake" {build}

     

       20
        
       ]

     

       21
       +
       conflicts: ["ocaml-option-bytecode-only"]

     

       22
        
       available:

     

       23
        
         arch != "ppc64" & arch != "ppc32" & arch != "arm32" &

     

       24
        
         (os = "freebsd" | os-family != "bsd")