From 1140099b3246a23126434541fae5de85c7766cd1 Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Wed, 12 Jun 2013 06:06:19 +0300 Subject: [PATCH] Allowed updates --- allowed.txt | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/allowed.txt b/allowed.txt index 64e86702..7197b0e7 100644 --- a/allowed.txt +++ b/allowed.txt @@ -35,7 +35,7 @@ Adaptive-Blaisorblade PaoloGiarrusso Advgame TimWawrzynczak AesonBson NiklasHambuechen Agata JonasDuregard -Agda AndreasAbel NilsAndersDanielsson UlfNorell +Agda AndreasAbel NilsAndersDanielsson UlfNorell AndresSicardRamirez Agda-executable NilsAndersDanielsson UlfNorell AhoCorasick SergeyLymar Allure MikolajKonarski @@ -5233,3 +5233,19 @@ standalone-haddock RomanCheplyaka term-rewriting BertramFelgenhauer transf HansHoglund union-find-array BertramFelgenhauer +BerlekampAlgorithm AbdelwahebMiled +Control-Monad-ST2 KevinBackhouse +atom-msp430 DanielBuckmaster +bencoding SamTruzjan +cassandra-cql StephenBlackheath +email-validator MichaelOrlitzky +fficxx IanWooKim +fficxx-runtime IanWooKim +http-attoparsec TeroLaitinen +inject SimonHengel +krpc SamTruzjan +monad-loops-stm JamesCook +nicify JulianFleischer +padKONTROL FumiakiKinoshita +rws KarlKnutsson +xing-api JanAhrens