@@ -2269,7 +2269,7 @@ packages:
2271 "Michael Schröder <mc.schroeder@gmail.com> @mcschroeder":
2271 "Michael Schröder <mc.schroeder@gmail.com> @mcschroeder":
2272− - ctrie < 0 # GHC 8.4 via random-shuffle
2272+ - ctrie
2275 "Andrew Lelechenko <andrew.lelechenko@gmail.com> @Bodigrim":
2275 "Andrew Lelechenko <andrew.lelechenko@gmail.com> @Bodigrim":