1 files changed, 4 insertions, 0 deletions
diff --git a/dhall/package.dhall b/dhall/package.dhall
new file mode 100644
index 0000000..53461ae
--- /dev/null
+++ b/dhall/package.dhall
@@ -0,0 +1,4 @@
+{ Vault = ./Vault.dhall
+, Config = ./Config.dhall
+, Server = ./server/package.dhall
+}

diff --git a/dhall/package.dhall b/dhall/package.dhall new file mode 100644 index 0000000..53461ae --- /dev/null +++ b/dhall/package.dhall
@@ -0,0 +1,4 @@
	1	{ Vault = ./Vault.dhall
	2	, Config = ./Config.dhall
	3	, Server = ./server/package.dhall
	4	}