@@ -35,7 +35,7 @@ Adaptive-Blaisorblade PaoloGiarrusso
3535Advgame TimWawrzynczak
3636AesonBson NiklasHambuechen
3737Agata JonasDuregard
38−Agda AndreasAbel NilsAndersDanielsson UlfNorell
38+Agda AndreasAbel NilsAndersDanielsson UlfNorell AndresSicardRamirez
3939Agda-executable NilsAndersDanielsson UlfNorell
4040AhoCorasick SergeyLymar
4141Allure MikolajKonarski
@@ -5233,3 +5233,19 @@ standalone-haddock RomanCheplyaka
52335233term-rewriting BertramFelgenhauer
52345234transf HansHoglund
52355235union-find-array BertramFelgenhauer
5236+BerlekampAlgorithm AbdelwahebMiled
5237+Control-Monad-ST2 KevinBackhouse
5238+atom-msp430 DanielBuckmaster
5239+bencoding SamTruzjan
5240+cassandra-cql StephenBlackheath
5241+email-validator MichaelOrlitzky
5242+fficxx IanWooKim
5243+fficxx-runtime IanWooKim
5244+http-attoparsec TeroLaitinen
5245+inject SimonHengel
5246+krpc SamTruzjan
5247+monad-loops-stm JamesCook
5248+nicify JulianFleischer
5249+padKONTROL FumiakiKinoshita
5250+rws KarlKnutsson
5251+xing-api JanAhrens