summaryrefslogtreecommitdiff
path: root/dev-ml/camlp5/Manifest
diff options
context:
space:
mode:
authorGravatar Chris Xiong <chirs241097@gmail.com> 2022-06-04 16:27:17 -0400
committerGravatar Chris Xiong <chirs241097@gmail.com> 2022-06-04 16:27:17 -0400
commitb3c6fc25a909d82262f12df4d55fa8ec6ac392d3 (patch)
tree761876df2328a709c260c2f0458e13bc91859e12 /dev-ml/camlp5/Manifest
parent414e8aee64288600e2be901f3b23d13d2ced4f54 (diff)
downloadppo-b3c6fc25a909d82262f12df4d55fa8ec6ac392d3.tar.xz
try to fix everything with minizip.
Diffstat (limited to 'dev-ml/camlp5/Manifest')
0 files changed, 0 insertions, 0 deletions