From 12dbea143114c285176a90d0bcd446d76df30bfa Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Sat, 22 Sep 2018 17:04:50 +0800
Subject: [PATCH] Set virtual/GHC provider

---
 options.conf | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/options.conf b/options.conf
index 5217546..27a1c8b 100644
--- 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