Skip to content

Allow Coq 8.20 for coq-bbv 1.5 #1396

Allow Coq 8.20 for coq-bbv 1.5

Allow Coq 8.20 for coq-bbv 1.5 #1396

Annotations

1 warning

build

succeeded Nov 29, 2024 in 2m 37s