summaryrefslogtreecommitdiff
path: root/update.sh
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2023-06-13 10:20:42 +0200
committerErich Eckner <git@eckner.net>2023-06-13 10:20:42 +0200
commit1c008bd775f3c6bb68451fb11fcc5c314617a87c (patch)
tree491808998aa786ae1d85ccfca006a1511799637a /update.sh
parent0a9f5f4c8b2cec2d227f9fd22dc522e56d59cdd4 (diff)
downloadcrux-ports-1c008bd775f3c6bb68451fb11fcc5c314617a87c.tar.xz
cgal: 5.5.1 -> 5.5.2
Diffstat (limited to 'update.sh')
0 files changed, 0 insertions, 0 deletions