diff options
author | 2023-03-03 21:37:52 +0100 | |
---|---|---|
committer | 2023-03-03 21:46:52 +0100 | |
commit | faf9a3a627d7f135a720c225affdf01eef19f351 (patch) | |
tree | 7f75551b91818e19915c7b7726cbf5c7164ae81b /dev-ml/opam-state | |
parent | dev-ml/opam-format: add 2.1.3 (diff) | |
download | gentoo-faf9a3a627d7f135a720c225affdf01eef19f351.tar.gz gentoo-faf9a3a627d7f135a720c225affdf01eef19f351.tar.bz2 gentoo-faf9a3a627d7f135a720c225affdf01eef19f351.zip |
dev-ml/opam-repository: add 2.1.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/opam-state')
0 files changed, 0 insertions, 0 deletions