Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Repository
coq
shell.nix
Find file
Blame
History
Permalink
[default.nix] Update the reference to nixpkgs; make it the default
· 0e83e7ea
LAPORTE Vincent
authored
Oct 01, 2018
0e83e7ea