diff options
author | 2021-10-16 16:01:46 +0200 | |
---|---|---|
committer | 2021-10-16 16:01:46 +0200 | |
commit | 500b0b106a3e2f666bcc5835a0f648b2d535b24c (patch) | |
tree | 2b87df7ee136cab30861e195b4a5bd07ff4127d8 /dev-ml/dune-private-libs | |
parent | media-libs/tremor: port to EAPI 8 (diff) | |
download | gentoo-500b0b106a3e2f666bcc5835a0f648b2d535b24c.tar.gz gentoo-500b0b106a3e2f666bcc5835a0f648b2d535b24c.tar.bz2 gentoo-500b0b106a3e2f666bcc5835a0f648b2d535b24c.zip |
dev-ml/ppx_optcomp: amd64 stable wrt bug #816096
Package-Manager: Portage-3.0.20, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Diffstat (limited to 'dev-ml/dune-private-libs')
0 files changed, 0 insertions, 0 deletions