Removed Compat coq8.16

math-comp · Jan 31, 2024 · c863112 · c863112
1 parent 8bd0bdf
commit c863112
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 438 deletions.
diff --git a/.github/workflows/nix-action-coq8.16-mc2.1.0.yml b/.github/workflows/nix-action-coq8.16-mc2.1.0.yml