diff --git a/Data/Vector/Fixed/Instances/Cereal.hs b/Data/Vector/Fixed/Instances/Cereal.hs
--- a/Data/Vector/Fixed/Instances/Cereal.hs
+++ b/Data/Vector/Fixed/Instances/Cereal.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE TypeFamilies     #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 -- | Module with cereal instances for data types defined in fixed
 --   vector
diff --git a/fixed-vector-cereal.cabal b/fixed-vector-cereal.cabal
--- a/fixed-vector-cereal.cabal
+++ b/fixed-vector-cereal.cabal
@@ -1,5 +1,5 @@
 Name:           fixed-vector-cereal
-Version:        0.6.0.0
+Version:        1.0.0.0
 Synopsis:       Cereal instances for fixed-vector
 Description:
   Cereal instances for fixed-vector
@@ -16,18 +16,14 @@
   ChangeLog
 
 source-repository head
-  type:     hg
-  location: http://bitbucket.org/Shimuuar/fixed-vector
-source-repository head
   type:     git
   location: http://github.com/Shimuuar/fixed-vector
 
 Library
   Ghc-options:          -Wall
-  Build-Depends:
-    base         >=3 && <5,
-    fixed-vector >= 0.6,
-    cereal
+  Build-Depends:        base         >=4.8 && <5
+                      , fixed-vector >=1.0
+                      , cereal
   Exposed-modules:
     Data.Vector.Fixed.Instances.Cereal
 
diff --git a/test/QC.hs b/test/QC.hs
--- a/test/QC.hs
+++ b/test/QC.hs
@@ -1,10 +1,12 @@
+{-# LANGUAGE DataKinds           #-}
+{-# LANGUAGE FlexibleContexts    #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeFamilies        #-}
 import Test.Tasty
 import Test.Tasty.QuickCheck as QC
 
 import Data.Typeable
 import Data.Serialize
-import           Data.Vector.Fixed             (N2,N3,N4)
 import qualified Data.Vector.Fixed           as F
 import qualified Data.Vector.Fixed.Unboxed   as U
 import qualified Data.Vector.Fixed.Boxed     as B
@@ -16,25 +18,25 @@
 
 tests = testGroup "cereal"
   [ testTagged p_serialize (T :: T (F.Only  Int))
-  , testTagged p_serialize (T :: T (F.VecList N2 Int))
-  , testTagged p_serialize (T :: T (F.VecList N3 Int))
-  , testTagged p_serialize (T :: T (F.VecList N4 Int))
+  , testTagged p_serialize (T :: T (F.VecList 2 Int))
+  , testTagged p_serialize (T :: T (F.VecList 3 Int))
+  , testTagged p_serialize (T :: T (F.VecList 4 Int))
     --
-  , testTagged p_serialize (T :: T (U.Vec N2 Int))
-  , testTagged p_serialize (T :: T (U.Vec N3 Int))
-  , testTagged p_serialize (T :: T (U.Vec N4 Int))
+  , testTagged p_serialize (T :: T (U.Vec 2 Int))
+  , testTagged p_serialize (T :: T (U.Vec 3 Int))
+  , testTagged p_serialize (T :: T (U.Vec 4 Int))
     --
-  , testTagged p_serialize (T :: T (B.Vec N2 Int))
-  , testTagged p_serialize (T :: T (B.Vec N3 Int))
-  , testTagged p_serialize (T :: T (B.Vec N4 Int))
+  , testTagged p_serialize (T :: T (B.Vec 2 Int))
+  , testTagged p_serialize (T :: T (B.Vec 3 Int))
+  , testTagged p_serialize (T :: T (B.Vec 4 Int))
     --
-  , testTagged p_serialize (T :: T (S.Vec N2 Int))
-  , testTagged p_serialize (T :: T (S.Vec N3 Int))
-  , testTagged p_serialize (T :: T (S.Vec N4 Int))
+  , testTagged p_serialize (T :: T (S.Vec 2 Int))
+  , testTagged p_serialize (T :: T (S.Vec 3 Int))
+  , testTagged p_serialize (T :: T (S.Vec 4 Int))
     --
-  , testTagged p_serialize (T :: T (P.Vec N2 Int))
-  , testTagged p_serialize (T :: T (P.Vec N3 Int))
-  , testTagged p_serialize (T :: T (P.Vec N4 Int))
+  , testTagged p_serialize (T :: T (P.Vec 2 Int))
+  , testTagged p_serialize (T :: T (P.Vec 3 Int))
+  , testTagged p_serialize (T :: T (P.Vec 4 Int))
   ]
 
 p_serialize :: (Serialize a, Arbitrary a, Eq a) => T a -> a -> Bool