From 6f2b016231dbaf5d104e485d8da3ef9f089f4e2a Mon Sep 17 00:00:00 2001
From: djb <djb@shiftdevices.com>
Date: Thu, 8 Jun 2017 13:49:02 +0200
Subject: [PATCH] Update gcc-arm link in Vagrantfile

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index cd18aab4..86bc9aa2 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -8,7 +8,7 @@ Vagrant.configure(2) do |config|
     sudo locale-gen UTF-8
     sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa -y
     sudo apt-get update
-    sudo apt-get install -y cmake git gcc-arm-embedded=6-2017q1-1~trusty1
+    sudo apt-get install -y cmake git gcc-arm-embedded=6-2017q1-1~trusty3
   SHELL
 
   config.vm.provision "shell", run: "always", privileged: false, inline: <<-SHELL