diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 16:44:43 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-24 16:45:42 +0200 |
| commit | dcead6bfba51ad81e2d11f51032136c4b43cc8dc (patch) | |
| tree | eb05184e2739e43d12ea76a8d1492a3e87dbd184 /dev-ml/opam-installer | |
| 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-installer')
0 files changed, 0 insertions, 0 deletions