Skip to content

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

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

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

Annotations

12 warnings

build (coqorg/coq:8.19)

succeeded Oct 7, 2024 in 9m 16s