@@ -2288,8 +2288,6 @@ ghc7102 = Configuration
2288 , ("lio-eci11", allPlatforms)
2288 , ("lio-eci11", allPlatforms)
2289 , ("lio-fs", darwin)
2289 , ("lio-fs", darwin)
2290 , ("lio-simple", allPlatforms)
2290 , ("lio-simple", allPlatforms)
2291− , ("liquid-fixpoint", allPlatforms)
2292− , ("liquidhaskell", allPlatforms)
2293 , ("listlike-instances", allPlatforms)
2291 , ("listlike-instances", allPlatforms)
2294 , ("list-t-html-parser", allPlatforms)
2292 , ("list-t-html-parser", allPlatforms)
2295 , ("literals", allPlatforms)
2293 , ("literals", allPlatforms)
@@ -3420,7 +3418,6 @@ ghc7102 = Configuration
3420 , ("tamarin-prover-theory", allPlatforms)
3418 , ("tamarin-prover-theory", allPlatforms)
3421 , ("tamarin-prover-utils", allPlatforms)
3419 , ("tamarin-prover-utils", allPlatforms)
3422 , ("tamper", allPlatforms)
3420 , ("tamper", allPlatforms)
3423− , ("target", allPlatforms)
3424 , ("task", allPlatforms)
3421 , ("task", allPlatforms)
3425 , ("tasty-integrate", allPlatforms)
3422 , ("tasty-integrate", allPlatforms)
3426 , ("TBC", allPlatforms)
3423 , ("TBC", allPlatforms)