# A list of packages with errors which we chose to ignore (for now). It
# contains an exact package name together with a string which should be
# included in the error message.

BlackList = [
  ["coq-compcert.3.1.0", "Error: Corrupted compiled interface"],
  ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"],
  ["coq-ltac2.0.3", "coq-ltac2 -> coq >= 8.10"]
]

# A list of packages with errors which we chose to ignore (for now). It
# contains an exact package name together with a string which should be
# included in the error message.

BlackList = [
  ["coq-compcert.3.1.0", "Error: Corrupted compiled interface"],
  ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"],
  ["coq-ltac2.0.3", "While removing coq"]
]

Update the black-list for ltac2 due to truncated logs
Update the black-list for ltac2 due to truncated logs
