seems that Paul wants c{60,65}.poly in files.nodist, not files.dist
seems that Paul wants c{60,65}.poly in files.nodist, not files.dist

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs