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

2 warnings

build (coqorg/coq:8.15)

succeeded Oct 7, 2024 in 18m 40s