# 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-bdds.8.5.0", "Error: Could not find the .cmi file for interface parser.mli."],
  ["coq-bdds.8.7.0", "Error: Could not find the .cmi file for interface parser.mli."],
  ["coq-bignums.8.6.0", "Error: Corrupted compiled interface"],
  ["coq-bignums.8.7.0", "Error: Unable to locate library NMake_gen."],
  ["coq-coq2html.1.0", "Error: Unbound module Resources"],
  ["coq-coq2html.1.1", "Error: Unbound module Resources"],
  ["coq-cybele.1.3.0", "make inconsistent assumptions over interface CybeleConstants"],
  ["coq-hammer.1.1.1+8.9", "Error: Corrupted compiled interface"],
  ["coq-ltac2.0.3", "coq-ltac2 -> coq >= 8.10"],
  ["coq-string.8.5.0", "Error: Unbound module G_local_ascii_syntax"]
]

# 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-bdds.8.5.0", "Error: Could not find the .cmi file for interface parser.mli."],
  ["coq-bdds.8.7.0", "Error: Could not find the .cmi file for interface parser.mli."],
  ["coq-bdds.8.8.0", "Error: Could not find the .cmi file for interface parser.mli."],
  ["coq-bignums.8.6.0", "Error: Corrupted compiled interface"],
  ["coq-bignums.8.7.0", "Error: Unable to locate library NMake_gen."],
  ["coq-coq2html.1.0", "Error: Unbound module Resources"],
  ["coq-coq2html.1.1", "Error: Unbound module Resources"],
  ["coq-cybele.1.3.0", "make inconsistent assumptions over interface CybeleConstants"],
  ["coq-hammer.1.0.8+8.7", "Error: Corrupted compiled interface"],
  ["coq-hammer.1.0.8+8.7", "make inconsistent assumptions over interface Hhlib"],
  ["coq-hammer.1.1.1+8.9", "Error: Corrupted compiled interface"],
  ["coq-ltac2.0.3", "coq-ltac2 -> coq >= 8.10"],
  ["coq-plugin-utils.1.1.0", "Error: Corrupted compiled interface"],
  ["coq-string.8.5.0", "Error: Unbound module G_local_ascii_syntax"]
]

Add new packages to the black-list
Add new packages to the black-list
