commit 4ce7ac43a425b8436e1dd6a5db288634581f4b67 · anil.recoil.org/opam-repository

+1 -1

packages/binsec/binsec.0.6.3/opam

···

       68
       68
        
       ]

     

       69
       69
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       70
       70
        
       conflicts: [

     

       71
       71
       -
         "llvm" {< "6.0.0"}

     

       71
       71
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       72
       72
        
         "bitwuzla" {< "1.0.1"}

     

       73
       73
        
       ]

     

       74
       74
        
       build: [

+1 -1

packages/binsec/binsec.0.7.1/opam

···

       68
       68
        
       ]

     

       69
       69
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       70
       70
        
       conflicts: [

     

       71
       71
       -
         "llvm" {< "6.0.0"}

     

       71
       71
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       72
       72
        
         "bitwuzla" {< "1.0.4"}

     

       73
       73
        
       ]

     

       74
       74
        
       build: [

+1 -1

packages/binsec/binsec.0.7.2/opam

···

       68
       68
        
       ]

     

       69
       69
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       70
       70
        
       conflicts: [

     

       71
       71
       -
         "llvm" {< "6.0.0"}

     

       71
       71
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       72
       72
        
         "bitwuzla" {< "1.0.4"}

     

       73
       73
        
       ]

     

       74
       74
        
       build: [

+1 -1

packages/binsec/binsec.0.7.3/opam

···

       68
       68
        
       ]

     

       69
       69
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       70
       70
        
       conflicts: [

     

       71
       71
       -
         "llvm" {< "6.0.0"}

     

       71
       71
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       72
       72
        
         "bitwuzla" {< "1.0.4"}

     

       73
       73
        
       ]

     

       74
       74
        
       build: [

+1 -1

packages/binsec/binsec.0.7.4/opam

···

       68
       68
        
       ]

     

       69
       69
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       70
       70
        
       conflicts: [

     

       71
       71
       -
         "llvm" {< "6.0.0"}

     

       71
       71
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       72
       72
        
         "bitwuzla" {< "1.0.4"}

     

       73
       73
        
       ]

     

       74
       74
        
       build: [

+1 -1

packages/binsec/binsec.0.8.0/opam

···

       69
       69
        
       ]

     

       70
       70
        
       depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"]

     

       71
       71
        
       conflicts: [

     

       72
       72
       -
         "llvm" {< "6.0.0"}

     

       72
       72
       +
         "llvm" {< "6.0.0" | >= "16.0.0"}

     

       73
       73
        
         "bitwuzla" {< "1.0.4"}

     

       74
       74
        
         "unisim_archisec" {< "0.0.6"}

     

       75
       75
        
       ]