Merge pull request #184

6f2b016 Update gcc-arm link in Vagrantfile (djb)
BitBoxSwiss · Jun 8, 2017 · d0394f3 · d0394f3
2 parents 2d401b9 + 6f2b016
commit d0394f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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