anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25667 from alan-j-hu/binsec-llvm-bounds

Add upper bound to binsec's depopt on llvm

authored by

Thomas Gazagnaire and committed by
GitHub ace7dd97 b2bb7092

+6 -6
+1 -1
packages/binsec/binsec.0.6.3/opam
··· 68 68 ] 69 69 depopts: ["curses" "llvm" "unisim_archisec" "bitwuzla"] 70 70 conflicts: [ 71 - "llvm" {< "6.0.0"} 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 - "llvm" {< "6.0.0"} 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 - "llvm" {< "6.0.0"} 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 - "llvm" {< "6.0.0"} 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 - "llvm" {< "6.0.0"} 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 - "llvm" {< "6.0.0"} 72 + "llvm" {< "6.0.0" | >= "16.0.0"} 73 73 "bitwuzla" {< "1.0.4"} 74 74 "unisim_archisec" {< "0.0.6"} 75 75 ]