summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-02-10 16:32:38 +0000
committerSam James <sam@gentoo.org>2021-02-10 16:32:38 +0000
commitee3b84aa676d9568a36d4a7b243de4fae2db2bf7 (patch)
tree093260ab5a051fbaf7174fc871c38f3d4328a8c3 /dev-ml/ppx_optional
parentdev-ml/ppx_fixed_literal: Stabilize 0.14.0 ppc64, #769317 (diff)
downloadgentoo-ee3b84aa676d9568a36d4a7b243de4fae2db2bf7.tar.gz
gentoo-ee3b84aa676d9568a36d4a7b243de4fae2db2bf7.tar.bz2
gentoo-ee3b84aa676d9568a36d4a7b243de4fae2db2bf7.zip
dev-ml/ppx_module_timer: Stabilize 0.14.0 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_optional')
0 files changed, 0 insertions, 0 deletions