@@ -443,12 +443,19 @@ packages:
443 - lambdabot
443 - lambdabot
445 "Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
445 "Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
446− - HaTeX
446+ - bimap-server
448 - binary-list
447 - binary-list
449 - haskintex
450 - haskintex
450− - post-mess-age
451+ - HaTeX
451 - include-file
453 - include-file
453 "Gabriel Gonzalez <Gabriel439@gmail.com>":
460 "Gabriel Gonzalez <Gabriel439@gmail.com>":