+# Home dir for your Mailman installation -- aka Mailman's prefix
+# directory.
+# By default this is set to "/usr/local/mailman"
+# On a Red Hat/Fedora system using the RPM use "/var/mailman"
+# On Debian using the deb package use "/var/lib/mailman"
+# This is normally the same as ~mailman
+MAILMAN_HOME=/var/lib/mailman
+
+# The path of the Mailman mail wrapper script
+MAILMAN_WRAP=MAILMAN_HOME/mail/mailman
+
+# User and group for Mailman, should match your --with-mail-gid
+# switch to Mailman's configure script.
+# Value is normally "mailman"
+MAILMAN_USER=list
+MAILMAN_GROUP=list
+
+# These values are derived from the ones above and should not need
+# editing unless you have munged your mailman installation
+
+# hcoop-change: Used for looking up a user and domain Mailman mapping.
+MAILMAN_DB=/etc/exim4/mailmandb