todo.md

Todo

Next time benchmarks are regenerated

These tasks will change the set of packages included in the monorepo so should be done the next time we regenerate the monorepo.

Exclude packages that depend on experimental dune plugins

These packages have (using ctypes ...), (using coq ...), (using directory-targets ...) in their dune-project files. These plugins are experimental and backwards-compatibility is not guaranteed.