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

{ bignums }:

{
  coqBuildInputs = [ bignums ];
  configure = "./configure.sh";
}