Closed thomasblanc closed 5 years ago
This saves about 2 minutes on a 15 minutes check.
I may have reindented things, sorry if this is an inconvenience. (Though I'm planning on rearranging the layout soon anyway).
The first commit adds the right dependencies in the opam description.
Pushed to master by hand. Thanks!
This saves about 2 minutes on a 15 minutes check.
I may have reindented things, sorry if this is an inconvenience. (Though I'm planning on rearranging the layout soon anyway).
The first commit adds the right dependencies in the opam description.