diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2023-02-18 22:40:00 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-02-18 22:40:00 +0100 |
| commit | 58c04a927274999a7313fbf38f7d8b9d90ae5b91 (patch) | |
| tree | ff506a4109e98ba7cce39519425681a9486c26d3 /dev-cpp | |
| parent | 07527353d7a3b97b626ddfe48e3bdf2c5eabbd24 (diff) | |
| download | gentoo-58c04a927274999a7313fbf38f7d8b9d90ae5b91.tar.gz gentoo-58c04a927274999a7313fbf38f7d8b9d90ae5b91.tar.bz2 gentoo-58c04a927274999a7313fbf38f7d8b9d90ae5b91.zip | |
dev-ml/camlp5: add 8.00.05
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-cpp')
0 files changed, 0 insertions, 0 deletions