Remove ltac2 from the black-list

clarus · clarus · commit 1878eeac1ae8 · 2019-10-17T11:00:40.000+02:00
diff --git a/black_list.rb b/black_list.rb
@@ -4,7 +4,5 @@
 
 BlackList = [
   ["coq-compcert.3.1.0", "Error: Corrupted compiled interface"], # flaky Makefile
-  ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"], # flaky Makefile
-  ["coq-ltac2.0.3", "coq-ltac2 -> coq >= 8.10"], # Coq 8.10 not released yet
-  ["coq-ltac2.0.3", "While removing coq"] # Coq 8.10 not released yet
+  ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"] # flaky Makefile
 ]

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,5 @@`
`4`	`4`
`5`	`5`	`BlackList = [`
`6`	`6`	`["coq-compcert.3.1.0", "Error: Corrupted compiled interface"], # flaky Makefile`
`7`		`- ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"], # flaky Makefile`
`8`		`- ["coq-ltac2.0.3", "coq-ltac2 -> coq >= 8.10"], # Coq 8.10 not released yet`
`9`		`- ["coq-ltac2.0.3", "While removing coq"] # Coq 8.10 not released yet`
	`7`	`+ ["coq-compcert.3.3.0", "Error: Corrupted compiled interface"] # flaky Makefile`
`10`	`8`	`]`