History tools/conda2solv.c