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.5
+version:             0.1.0.6
 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
@@ -11,6 +11,7 @@
                         , intinf
                         , atsPrelude
                         , atsContrib
+                        , atsFull
                         ) where
 
 import qualified Codec.Archive.Tar                    as Tar
@@ -54,9 +55,12 @@
 cleanATSCabal :: IO ()
 cleanATSCabal = removeDirectoryRecursive "ats-deps"
 
+vString :: ATSVersion -> String
+vString = intercalate "." . fmap show
+
 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")
-    where vString = intercalate "." . fmap show $ v
+atsContrib v = ATSDependency ("ats2-postiats-" ++ vs ++ "-contrib") "ats-deps/contrib" ("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-" ++ vs ++ "/ATS2-Postiats-contrib-" ++ vs ++ ".tgz")
+    where vs = vString v
 
 -- | GMP bindings for ATS
 libgmp :: ATSDependency
@@ -66,10 +70,15 @@
 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"
 
+-- | Full ATS libraries.
+atsFull :: ATSVersion -> ATSDependency
+atsFull v = ATSDependency ("ats2-postiats-" ++ vs) "ats-deps" ("https://github.com/vmchale/atspkg/raw/master/pkgs/ATS2-Postiats-" ++ vs ++ ".tar.gz")
+    where vs = vString v
+
 -- | ATS prelude
 atsPrelude :: ATSVersion -> ATSDependency
-atsPrelude v = ATSDependency ("ats2-postiats-" ++ vString ++ "-prelude") "ats-deps/prelude" ("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-" ++ vString ++ "/ATS2-Postiats-include-" ++ vString ++ ".tgz")
-    where vString = intercalate "." . fmap show $ v
+atsPrelude v = ATSDependency ("ats2-postiats-" ++ vs ++ "-prelude") "ats-deps/prelude" ("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-" ++ vs ++ "/ATS2-Postiats-include-" ++ vs ++ ".tgz")
+    where vs = vString v
 
 fetchDependencies :: [ATSDependency] -> IO ()
 fetchDependencies = (>> stopGlobalPool) . parallel_ . fmap fetchDependency