diff options
author | 2022-11-22 19:34:06 +0100 | |
---|---|---|
committer | 2022-11-22 19:34:25 +0100 | |
commit | f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291 (patch) | |
tree | dd94209ded53a6d8b0f19ae25e4fc8dff690ec52 /dev-ml/jst-config/Manifest | |
parent | dev-util/gpp: Stabilize 2.27 ppc, #882523 (diff) | |
download | gentoo-f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291.tar.gz gentoo-f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291.tar.bz2 gentoo-f80afee4de06a6f5fb77dd1fe8e27a75b2f2c291.zip |
dev-ml/dune-build-info: add 3.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/jst-config/Manifest')
0 files changed, 0 insertions, 0 deletions