From 6a0475c1f951a6e58686385a5ba5dc245ed0c3b1 Mon Sep 17 00:00:00 2001
From: Christoph Ruegg <git@cdrnet.ch>
Date: Sat, 3 Jan 2015 21:20:27 +0100
Subject: [PATCH] Build: updated vagrant bootstrap to use newest xamarin mono
 packages

---
 vagrant-bootstrap.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/vagrant-bootstrap.sh b/vagrant-bootstrap.sh
index 1846a421..0dd313b4 100644
--- a/vagrant-bootstrap.sh
+++ b/vagrant-bootstrap.sh
@@ -1,7 +1,16 @@
 #!/usr/bin/env bash
 
+apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
+echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list
+
 apt-get update
+apt-get -y upgrade
+
 apt-get -y install mono-complete
 apt-get -y install mono-tools-devel
+apt-get -y install referenceassemblies-pcl
 apt-get -y install fsharp
+
+apt-get -y autoremove
+
 mozroots --import --sync