@@ -2712,7 +2712,7 @@ packages:
2712 # - handwriting # GHC 8.2.1
2712 # - handwriting # GHC 8.2.1
2714 "Stephen Diehl <stephen.m.diehl@gamil.com> @sdiehl":
2714 "Stephen Diehl <stephen.m.diehl@gamil.com> @sdiehl":
2715− # - protolude # GHC 8.2.1
2715+ - protolude
2716 # - repline # GHC 8.2.1
2716 # - repline # GHC 8.2.1
2717 - picosat
2717 - picosat