Skip to content

flake.lock, flake.nix: Update to Coq 8.20 #733

flake.lock, flake.nix: Update to Coq 8.20

flake.lock, flake.nix: Update to Coq 8.20 #733

Annotations

2 warnings

build (coqorg/coq:8.16)

succeeded Oct 7, 2024 in 17m 26s