Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Repository
coq
default.nix
Find file
Blame
History
Permalink
Update nixpkgs and document upper bound on ANTLR compatibility.
· 54e753ee
ZIMMERMANN Theo
authored
Jun 29, 2023
54e753ee