diff --git a/options.conf b/options.conf
index b817502..890c9e4 100644
--- a/options.conf
+++ b/options.conf
@@ -54,5 +54,3 @@
 
 # GHC
 virtual/GHC providers: -* GHC
-
-*/* providers: -heimdal krb5