diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-12-17 22:10:44 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-12-17 22:10:44 +0100 |
| commit | 6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a (patch) | |
| tree | fa915e1e34f2e6d3b923ece52ad229c409a72841 /dev-ml/dune | |
| parent | dev-ada/gpr: fix shared (diff) | |
| download | gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.tar.gz gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.tar.bz2 gentoo-6cb4527f631bc9fa68e45a5dc9db81507fd1cb1a.zip | |
dev-ada/gpr-unit-provider: new package, add 23.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/dune')
0 files changed, 0 insertions, 0 deletions