diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2021-09-17 16:14:21 +0200 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2021-09-17 16:14:21 +0200 |
| commit | de9dbf78c845e746138fcf93008466f7d6cb7f9b (patch) | |
| tree | ed6332efeb7536173a1b8baa0b6bbe656d49c50a /dev-ml/ppx_tools | |
| parent | dev-ml/markup: amd64 stable wrt bug #813153 (diff) | |
| download | gentoo-de9dbf78c845e746138fcf93008466f7d6cb7f9b.tar.gz gentoo-de9dbf78c845e746138fcf93008466f7d6cb7f9b.tar.bz2 gentoo-de9dbf78c845e746138fcf93008466f7d6cb7f9b.zip | |
dev-ml/ppx_deriving: amd64 stable wrt bug #813153
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/ppx_tools')
0 files changed, 0 insertions, 0 deletions