diff options
author | 2022-04-24 16:44:43 +0200 | |
---|---|---|
committer | 2022-04-24 16:45:42 +0200 | |
commit | dcead6bfba51ad81e2d11f51032136c4b43cc8dc (patch) | |
tree | eb05184e2739e43d12ea76a8d1492a3e87dbd184 /dev-ml/opam-format | |
parent | package.mask: add ppx_bin_prot to janestreet mask (diff) | |
download | gentoo-dcead6bfba51ad81e2d11f51032136c4b43cc8dc.tar.gz gentoo-dcead6bfba51ad81e2d11f51032136c4b43cc8dc.tar.bz2 gentoo-dcead6bfba51ad81e2d11f51032136c4b43cc8dc.zip |
dev-ml/ppx_bin_prot: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/opam-format')
0 files changed, 0 insertions, 0 deletions