Set virtual/GHC provider

2018-09-22 17:04:50 +08:00 · 2018-09-22 17:04:50 +08:00 · 12dbea1431
--- a/options.conf
+++ b/options.conf
@ -46,3 +46,6 @@
 */* providers: -systemd eudev rsyslog
 */* -systemd consolekit
 */* providers: -runit -sinit sysvinit
+
+# GHC
+virtual/GHC providers: -* GHC