summaryrefslogtreecommitdiff
path: root/manualPorts/cgal
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2024-12-13 17:53:33 +0100
committerErich Eckner <git@eckner.net>2024-12-13 17:53:33 +0100
commit5e64c60c9fe6b71130ce2efce4cf732ad3dc9020 (patch)
tree8a96d87a31c640af2be460ee1382c13b74404268 /manualPorts/cgal
parent1b3bd5892e5db8aa1fb3383ee0c7ee04913c946d (diff)
downloadcrux-ports-5e64c60c9fe6b71130ce2efce4cf732ad3dc9020.tar.xz
new ports uploaded
Diffstat (limited to 'manualPorts/cgal')
0 files changed, 0 insertions, 0 deletions