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

+5

packages/ocaml-solo5-cross-aarch64/ocaml-solo5-cross-aarch64.0.8.0/opam

···

       16
       16
        
         ]

     

       17
       17
        
         [make "-j%{jobs}%"]

     

       18
       18
        
       ]

     

       19
       19
       +
       depopts: [

     

       20
       20
       +
         "ocaml-option-no-flat-float-array"

     

       21
       21
       +
         "ocaml-option-flambda"

     

       22
       22
       +
         "ocaml-option-nnp"

     

       23
       23
       +
       ]

     

       19
       24
        
       install: [make "install" ]

     

       20
       25
        
       depends: [

     

       21
       26
        
         "conf-which" {build}

+5

packages/ocaml-solo5-cross-aarch64/ocaml-solo5-cross-aarch64.0.8.1/opam

···

       16
       16
        
         ]

     

       17
       17
        
         [make "-j%{jobs}%"]

     

       18
       18
        
       ]

     

       19
       19
       +
       depopts: [

     

       20
       20
       +
         "ocaml-option-no-flat-float-array"

     

       21
       21
       +
         "ocaml-option-flambda"

     

       22
       22
       +
         "ocaml-option-nnp"

     

       23
       23
       +
       ]

     

       19
       24
        
       install: [make "install" ]

     

       20
       25
        
       depends: [

     

       21
       26
        
         "conf-which" {build}

+5

packages/ocaml-solo5-cross-aarch64/ocaml-solo5-cross-aarch64.0.8.2/opam

···

       16
       16
        
         ]

     

       17
       17
        
         [make "-j%{jobs}%"]

     

       18
       18
        
       ]

     

       19
       19
       +
       depopts: [

     

       20
       20
       +
         "ocaml-option-no-flat-float-array"

     

       21
       21
       +
         "ocaml-option-flambda"

     

       22
       22
       +
         "ocaml-option-nnp"

     

       23
       23
       +
       ]

     

       19
       24
        
       install: [make "install" ]

     

       20
       25
        
       depends: [

     

       21
       26
        
         "conf-which" {build}

+5

packages/ocaml-solo5-cross-aarch64/ocaml-solo5-cross-aarch64.0.8.3/opam

···

       41
       41
        
         ]

     

       42
       42
        
         [make "-j%{jobs}%"]

     

       43
       43
        
       ]

     

       44
       44
       +
       depopts: [

     

       45
       45
       +
         "ocaml-option-no-flat-float-array"

     

       46
       46
       +
         "ocaml-option-flambda"

     

       47
       47
       +
         "ocaml-option-nnp"

     

       48
       48
       +
       ]

     

       44
       49
        
       install: [make "install"]

     

       45
       50
        
       dev-repo: "git+https://github.com/mirage/ocaml-solo5.git"

     

       46
       51
        
       url {

+6 -1

packages/ocaml-solo5-cross-aarch64/ocaml-solo5-cross-aarch64.0.8.4/opam

···

       41
       41
        
         ]

     

       42
       42
        
         [make "-j%{jobs}%"]

     

       43
       43
        
       ]

     

       44
       44
       +
       depopts: [

     

       45
       45
       +
         "ocaml-option-no-flat-float-array"

     

       46
       46
       +
         "ocaml-option-flambda"

     

       47
       47
       +
         "ocaml-option-nnp"

     

       48
       48
       +
       ]

     

       44
       49
        
       install: [make "install"]

     

       45
       50
        
       dev-repo: "git+https://github.com/mirage/ocaml-solo5.git"

     

       46
       51
        
       url {

     
···

       50
       55
        
           "md5=617659df62834f8ca2c061a715ccca54"

     

       51
       56
        
           "sha512=8c715b1135d904d7c9a206a64ce78c5040cd068864f9ee5ebdbbc576879c3f67f525805e089d2c02ad87d39924a5183fb039a20b468245080ab36a5e13a5fd1f"

     

       52
       57
        
         ]

     

       53
       53
       -
       }
     

       58
       58
       +
       }

+5

packages/ocaml-solo5/ocaml-solo5.0.8.0/opam

···

       17
       17
        
         ]

     

       18
       18
        
         [make "-j%{jobs}%"]

     

       19
       19
        
       ]

     

       20
       20
       +
       depopts: [

     

       21
       21
       +
         "ocaml-option-no-flat-float-array"

     

       22
       22
       +
         "ocaml-option-flambda"

     

       23
       23
       +
         "ocaml-option-nnp"

     

       24
       24
       +
       ]

     

       20
       25
        
       install: [make "install" ]

     

       21
       26
        
       depends: [

     

       22
       27
        
         "conf-which" {build}

+5

packages/ocaml-solo5/ocaml-solo5.0.8.1/opam

···

       17
       17
        
         ]

     

       18
       18
        
         [make "-j%{jobs}%"]

     

       19
       19
        
       ]

     

       20
       20
       +
       depopts: [

     

       21
       21
       +
         "ocaml-option-no-flat-float-array"

     

       22
       22
       +
         "ocaml-option-flambda"

     

       23
       23
       +
         "ocaml-option-nnp"

     

       24
       24
       +
       ]

     

       20
       25
        
       install: [make "install" ]

     

       21
       26
        
       depends: [

     

       22
       27
        
         "conf-which" {build}

+5

packages/ocaml-solo5/ocaml-solo5.0.8.2/opam

···

       25
       25
        
         "ocaml" {>= "4.12.1" & < "4.15.0"}

     

       26
       26
        
         "solo5" {>= "0.7.0"}

     

       27
       27
        
       ]

     

       28
       28
       +
       depopts: [

     

       29
       29
       +
         "ocaml-option-no-flat-float-array"

     

       30
       30
       +
         "ocaml-option-flambda"

     

       31
       31
       +
         "ocaml-option-nnp"

     

       32
       32
       +
       ]

     

       28
       33
        
       conflicts: [

     

       29
       34
        
         "sexplib" {= "v0.9.0"}

     

       30
       35
        
         "solo5-kernel-ukvm"

+5

packages/ocaml-solo5/ocaml-solo5.0.8.3/opam

···

       40
       40
        
         ]

     

       41
       41
        
         [make "-j%{jobs}%"]

     

       42
       42
        
       ]

     

       43
       43
       +
       depopts: [

     

       44
       44
       +
         "ocaml-option-no-flat-float-array"

     

       45
       45
       +
         "ocaml-option-flambda"

     

       46
       46
       +
         "ocaml-option-nnp"

     

       47
       47
       +
       ]

     

       43
       48
        
       install: [make "install"]

     

       44
       49
        
       dev-repo: "git+https://github.com/mirage/ocaml-solo5.git"

     

       45
       50
        
       url {

+6 -1

packages/ocaml-solo5/ocaml-solo5.0.8.4/opam

···

       40
       40
        
         ]

     

       41
       41
        
         [make "-j%{jobs}%"]

     

       42
       42
        
       ]

     

       43
       43
       +
       depopts: [

     

       44
       44
       +
         "ocaml-option-no-flat-float-array"

     

       45
       45
       +
         "ocaml-option-flambda"

     

       46
       46
       +
         "ocaml-option-nnp"

     

       47
       47
       +
       ]

     

       43
       48
        
       install: [make "install"]

     

       44
       49
        
       dev-repo: "git+https://github.com/mirage/ocaml-solo5.git"

     

       45
       50
        
       url {

     
···

       49
       54
        
           "md5=617659df62834f8ca2c061a715ccca54"

     

       50
       55
        
           "sha512=8c715b1135d904d7c9a206a64ce78c5040cd068864f9ee5ebdbbc576879c3f67f525805e089d2c02ad87d39924a5183fb039a20b468245080ab36a5e13a5fd1f"

     

       51
       56
        
         ]

     

       52
       52
       -
       }
     

       57
       57
       +
       }