libgmp: update to 5.1.2 and aligned with upstream

[ports/core-arm.git] / ports / core-arm.rsync

diff --git a/ports/core-arm.rsync b/ports/core-arm.rsync
index b47cbee7da78097ee2fe1222130f0cd4c7e725a0..a52527760b519233abfc3da8e6bc5d1bc4192e4a 100644 (file)
--- a/ports/core-arm.rsync
+++ b/ports/core-arm.rsync
@@ -1,3 +1,3 @@
 host=crux-arm.nu
-collection=ports/crux-2.7/core-armhf/
-destination=/usr/ports/core-armhf
+collection=ports/crux-3.0/core-arm/
+destination=/usr/ports/core-arm