diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-12-13 14:25:17 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-12-13 16:24:03 +0100 |
| commit | 2908c51c3142d7a400a1fa546525c096ea2b510a (patch) | |
| tree | 01a2aa698ecde8baf08b2a8be6a084e68d646d9b /dev-ml/ppx_tools_versioned | |
| parent | sys-kernel/vanilla-kernel: Bump to 5.4.3 (diff) | |
| download | gentoo-2908c51c3142d7a400a1fa546525c096ea2b510a.tar.gz gentoo-2908c51c3142d7a400a1fa546525c096ea2b510a.tar.bz2 gentoo-2908c51c3142d7a400a1fa546525c096ea2b510a.zip | |
package.mask: Last rite first set of no-revdep dev-ml/* packages
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
0 files changed, 0 insertions, 0 deletions