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

+4 -1

packages/goblint/goblint.2.2.1/opam

···

       73
       73
        
       dev-repo: "git+https://github.com/goblint/analyzer.git"

     

       74
       74
        
       # on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project

     

       75
       75
        
       # also remember to generate/adjust goblint.opam.locked!

     

       76
       76
       -
       available: os-distribution != "alpine" & arch != "arm64"

     

       76
       76
       +
       available: os-family != "bsd" & os-distribution != "alpine" & arch != "arm64"

     

       77
       77
        
       # pin-depends: [

     

       78
       78
        
         # published goblint-cil 2.0.2 is currently up-to-date, so no pin needed

     

       79
       79
        
         # [ "goblint-cil.2.0.2" "git+https://github.com/goblint/cil.git#98598d94f796a63751e5a9d39c6b3a9fe1f32330" ]

     
···

       92
       92
        
         ]

     

       93
       93
        
       }

     

       94
       94
        
       x-commit-hash: "166a9b619b87456059de8f1839fb810621302efb"

     

       95
       95
       +
       x-ci-accept-failures: [

     

       96
       96
       +
         "macos-homebrew" # newer MacOS headers cannot be parsed (https://github.com/ocaml/opam-repository/pull/26307#issuecomment-2258080206)

     

       97
       97
       +
       ]

+4 -1

packages/goblint/goblint.2.3.0/opam

···

       73
       73
        
       dev-repo: "git+https://github.com/goblint/analyzer.git"

     

       74
       74
        
       # on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project

     

       75
       75
        
       # also remember to generate/adjust goblint.opam.locked!

     

       76
       76
       -
       available: os-distribution != "alpine" & arch != "arm64"

     

       76
       76
       +
       available: os-family != "bsd" & os-distribution != "alpine" & arch != "arm64"

     

       77
       77
        
       # pin-depends: [

     

       78
       78
        
         # published goblint-cil 2.0.3 is currently up-to-date, so no pin needed

     

       79
       79
        
         # [ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#d2760bacfbfdb25a374254de44f2ff1cb5f42abd" ]

     
···

       92
       92
        
         ]

     

       93
       93
        
       }

     

       94
       94
        
       x-commit-hash: "dbd6479a53dbf76f351f853bbc9092d659a8a631"

     

       95
       95
       +
       x-ci-accept-failures: [

     

       96
       96
       +
         "macos-homebrew" # newer MacOS headers cannot be parsed (https://github.com/ocaml/opam-repository/pull/26307#issuecomment-2258080206)

     

       97
       97
       +
       ]