path: root/dev/ci/nix/Corn.nix

{ bignums, math-classes }:

{
  coqBuildInputs = [ bignums math-classes ];
}