diff --git a/Hmk.lhs-boot b/Hmk.lhs-boot
new file mode 100644
--- /dev/null
+++ b/Hmk.lhs-boot
@@ -0,0 +1,11 @@
+> module Control.Hmk where
+>
+> type Cmp m a = a -> a -> m Bool
+> data Result = TaskSuccess | TaskFailure
+> type Task m = m Result
+> data Rule m a = Rule { target :: a
+>                      , prereqs :: [a]
+>                      , recipe :: Maybe ([a] -> Task m)
+>                      , isStale :: Cmp m a }
+> type DepGraph m a = [Tree m a]
+> data Tree m a = Node a (DepGraph m a) (Rule m a)
diff --git a/hmk.cabal b/hmk.cabal
--- a/hmk.cabal
+++ b/hmk.cabal
@@ -1,8 +1,8 @@
 name:           hmk
-version:        0.9.3
+version:        0.9.4
 author:         Mathieu Boespflug
 maintainer:     Mathieu Boespflug <mboes@tweag.net>
-homepage:       http://code.haskell.org/~mboes/hmk
+homepage:       http://www.github.com/mboes/hmk
 synopsis:       A make alternative based on Plan9's mk.
 description:
         Clone of Plan9's mk command, said to have \"improved on make by