diff --git a/ats-setup.cabal b/ats-setup.cabal
--- a/ats-setup.cabal
+++ b/ats-setup.cabal
@@ -1,5 +1,5 @@
 name:                ats-setup
-version:             0.1.0.2
+version:             0.1.0.4
 synopsis:            ATS scripts for Cabal builds
 description:         This package contains various scripts that go in a package's @Setup.hs@ to make building libraries with ATS dependencies easier.
 license:             BSD3
diff --git a/src/Distribution/ATS.hs b/src/Distribution/ATS.hs
--- a/src/Distribution/ATS.hs
+++ b/src/Distribution/ATS.hs
@@ -10,6 +10,7 @@
                         , libgmp
                         , intinf
                         , atsPrelude
+                        , atsContrib
                         ) where
 
 import qualified Codec.Archive.Tar                    as Tar
@@ -49,9 +50,13 @@
                                     , postBuild = \_ _ _ -> maybeCleanBuild
                                     }
 
+-- TODO custom directory?
 cleanATSCabal :: IO ()
 cleanATSCabal = removeDirectoryRecursive "ats-deps"
 
+atsContrib :: ATSVersion -> ATSDependency
+atsContrib v = ATSDependency ("ats2-postiats-" ++ vString ++ "-contrib") "ats-deps/contrib" ("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-" ++ vString ++ "/ATS2-Postiats-contrib-" ++ vString ++ ".tgz")
+
 -- | GMP bindings for ATS
 libgmp :: ATSDependency
 libgmp = ATSDependency "atscntrb-libgmp-1.0.4" "ats-deps/contrib/atscntrb-libgmp" "https://registry.npmjs.org/atscntrb-libgmp/-/atscntrb-libgmp-1.0.4.tgz"
@@ -59,8 +64,6 @@
 -- | Arbitrary-precision arithmetic library for ATS
 intinf :: ATSDependency
 intinf = ATSDependency "atscntrb-hs-intinf-1.0.6" "ats-deps/contrib/atscntrb-hx-intinf" "https://registry.npmjs.org/atscntrb-hx-intinf/-/atscntrb-hx-intinf-1.0.6.tgz"
-
--- https://registry.npmjs.org/ats-postiats-include/-/ats-postiats-include-1.0.0.tgz
 
 -- | ATS prelude
 atsPrelude :: ATSVersion -> ATSDependency