From 3155199bbeb4b54718700d2aa5862ec378990eb2 Mon Sep 17 00:00:00 2001
From: Marshall Roch <mroch@fb.com>
Date: Tue, 19 Jan 2016 17:38:10 -0800
Subject: [PATCH] Add avsm/ocaml*+opam* to whitelist

---
 ubuntu.json | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/ubuntu.json b/ubuntu.json
index 0888c3a..20b6097 100644
--- a/ubuntu.json
+++ b/ubuntu.json
@@ -44,6 +44,36 @@
     "sourceline": "ppa:avsm/ppa",
     "key_url": null
   },
+  {
+    "alias": "avsm-ocaml312-opam12",
+    "sourceline": "ppa:avsm/ocaml312+opam12",
+    "key_url": null
+  },
+  {
+    "alias": "avsm-ocaml40-opam12",
+    "sourceline": "ppa:avsm/ocaml40+opam12",
+    "key_url": null
+  },
+  {
+    "alias": "avsm-ocaml41-opam11",
+    "sourceline": "ppa:avsm/ocaml41+opam11",
+    "key_url": null
+  },
+  {
+    "alias": "avsm-ocaml41-opam12",
+    "sourceline": "ppa:avsm/ocaml41+opam12",
+    "key_url": null
+  },
+  {
+    "alias": "avsm-ocaml42-opam11",
+    "sourceline": "ppa:avsm/ocaml42+opam11",
+    "key_url": null
+  },
+  {
+    "alias": "avsm-ocaml42-opam12",
+    "sourceline": "ppa:avsm/ocaml42+opam12",
+    "key_url": null
+  },
   {
     "alias": "boost-latest",
     "sourceline": "ppa:boost-latest/ppa",