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