path: root/config.nix

{
  coq = "8.11";
}