diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2022-10-19 22:29:54 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-10-19 22:41:18 +0200 |
| commit | 609af3f33c66ad9e8c8d85d2f72a5eb4f455d746 (patch) | |
| tree | 2c851e288c689f5cd43d3484a4a381fd3550075c /dev-ml/ppx_module_timer | |
| parent | 9c96f75f5d6cb8b0b9fb06e86af54f14dfb2e460 (diff) | |
| download | gentoo-609af3f33c66ad9e8c8d85d2f72a5eb4f455d746.tar.gz gentoo-609af3f33c66ad9e8c8d85d2f72a5eb4f455d746.tar.bz2 gentoo-609af3f33c66ad9e8c8d85d2f72a5eb4f455d746.zip | |
dev-ml/ppx_let: adj deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_module_timer')
0 files changed, 0 insertions, 0 deletions