path: root/config.nix

{
  coq = "8.10";
}