0.3.1

NathanReb released this 16 May 14:04

· 304 commits to main since this release

7f4cdf7

CHANGES:

Fixed

Do not add opam-provided packages into pin-depends and duniverse
directories anymore, thus stop pulling packages that should be installed via
Opam (#302, @Leonidas-from-XIV)

Contributors

Leonidas-from-XIV

Assets 3