diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2023-04-29 11:28:56 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-04-29 11:28:56 +0300 |
| commit | 314ee7de50fb81f951b041a0047145ffaab88a45 (patch) | |
| tree | 98e505cd8d2413a29b7826c7e31c15921e696ef7 /dev-ml/dune-private-libs | |
| parent | dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 ppc64, #901567 (diff) | |
| download | gentoo-314ee7de50fb81f951b041a0047145ffaab88a45.tar.gz gentoo-314ee7de50fb81f951b041a0047145ffaab88a45.tar.bz2 gentoo-314ee7de50fb81f951b041a0047145ffaab88a45.zip | |
dev-ml/ppx_bin_prot: Stabilize 0.15.0-r1 x86, #901567
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-private-libs')
0 files changed, 0 insertions, 0 deletions