diff --git a/Program/Mighty/Dhall/Option.dhall b/Program/Mighty/Dhall/Option.dhall
new file mode 100644
--- /dev/null
+++ b/Program/Mighty/Dhall/Option.dhall
@@ -0,0 +1,27 @@
+{ port : Natural
+, host : Text
+, debugMode : Bool
+, user  : Text
+, group : Text
+, pidFile    : Text
+, reportFile : Text
+, logging : Bool
+, logFile : Text
+, logFileSize : Natural
+, logBackupNumber : Natural
+, indexFile : Text
+, indexCgi  : Text
+, statusFileDir : Text
+, connectionTimeout : Natural
+, proxyTimeout      : Natural
+, fdCacheDuration   : Natural
+, service : Natural
+, tlsPort : Natural
+, tlsCertFile   : Text
+, tlsChainFiles : Text
+, tlsKeyFile    : Text
+, quicPort : Natural
+, quicAddr : List Text
+, quicDebugDir : Optional Text
+, quicQlogDir  : Optional Text
+}
diff --git a/mighttpd2.cabal b/mighttpd2.cabal
--- a/mighttpd2.cabal
+++ b/mighttpd2.cabal
@@ -1,5 +1,5 @@
 Name:                   mighttpd2
-Version:                4.0.0
+Version:                4.0.1
 Author:                 Kazu Yamamoto <kazu@iij.ad.jp>
 Maintainer:             Kazu Yamamoto <kazu@iij.ad.jp>
 License:                BSD3
@@ -15,6 +15,7 @@
 Build-Type:             Simple
 Data-Dir:               conf
 Data-Files:             example.conf example.route
+Extra-Source-Files:     Program/Mighty/Dhall/Option.dhall
 
 Flag tls
   Description:          Support HTTP over TLS (HTTPS).