diff options
author | Sam James <sam@gentoo.org> | 2021-03-14 00:58:16 +0000 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2021-03-15 04:01:39 +0000 |
commit | 0ff5c7e36a3e8c472827b9c008c9668ff43aa0d3 (patch) | |
tree | e897fa3dc5fb9214a57e0f63e1e1fd79f17f37dd /dev-ml/opam-client | |
parent | dev-ml/menhir: drop 20181006 (diff) | |
download | gentoo-0ff5c7e36a3e8c472827b9c008c9668ff43aa0d3.tar.gz gentoo-0ff5c7e36a3e8c472827b9c008c9668ff43aa0d3.tar.bz2 gentoo-0ff5c7e36a3e8c472827b9c008c9668ff43aa0d3.zip |
dev-ml/opam-format: drop 2.0.7-r2
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/opam-client')
0 files changed, 0 insertions, 0 deletions