diff options
| author |   Sam James <sam@gentoo.org> | 2021-10-02 06:30:01 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-10-02 06:30:01 +0100 |
| commit | 597f3999e88c522b41b0897a7f0143dc79cfb8b2 (patch) | |
| tree | 14ec34e584c95cac14f6fc43a8aed758bdf6205e /dev-ada | |
| parent | dev-ml/dune: add 2.9.1 (diff) | |
| download | gentoo-597f3999e88c522b41b0897a7f0143dc79cfb8b2.tar.gz gentoo-597f3999e88c522b41b0897a7f0143dc79cfb8b2.tar.bz2 gentoo-597f3999e88c522b41b0897a7f0143dc79cfb8b2.zip | |
dev-ml/ppxlib: add note re version bumps
Note that we need to be careful to get the dependencies
right on each new version.
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ada')
0 files changed, 0 insertions, 0 deletions