@@ -1183,11 +1183,12 @@ packages:
1183 - text-format # needed by liquid-fixpoint
1183 - text-format # needed by liquid-fixpoint
1184 - liquid-fixpoint
1184 - liquid-fixpoint
1186− "Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
1186+ "Daniel Casanueva <dhelta.diaz@gmail.com> @Daniel-Diaz":
1187 - bimap-server
1187 - bimap-server
1188 - binary-list
1188 - binary-list
1189 - byteset
1189 - byteset
1190 - Clipboard
1190 - Clipboard
1191 - grouped-list
1192 - grouped-list
1192 - haskintex
1193 - haskintex