path: root/dev/ci/nix/formal-topology.nix

{ corn }:
{
  coqBuildInputs = [ corn ];
}