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

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