Open olafhering opened 2 years ago
git grep -i uucp f6b1940863e94d437a0578e19076a342bc9b5a70 shows the usage of uucp in the code, and uucp is also listed in the dune file. But uucp is missing as direct dependency in dune-project.
git grep -i uucp f6b1940863e94d437a0578e19076a342bc9b5a70
uucp
dune
dune-project
git grep -i uucp f6b1940863e94d437a0578e19076a342bc9b5a70shows the usage ofuucpin the code, anduucpis also listed in thedunefile. Butuucpis missing as direct dependency indune-project.