diff --git a/science-constants-dimensional.cabal b/science-constants-dimensional.cabal
--- a/science-constants-dimensional.cabal
+++ b/science-constants-dimensional.cabal
@@ -1,5 +1,5 @@
 name: science-constants-dimensional
-version: 0.1.0.2
+version: 0.1.0.3
 license: BSD3
 license-File: LICENSE
 author: Anton Vorontsov <anton@enomsg.org>
@@ -42,17 +42,17 @@
 cabal-version: >=1.10
 
 source-repository head
-    type: darcs
-    location: http://code.haskell.org/science-constants-dimensional
+    type: git
+    location: https://github.com/enomsg/science-constants-dimensional
 
 library
     ghc-options: -Wall
     default-language: Haskell2010
     build-depends:
-        base >=4.6 && <4.9
+        base >=4.6 && <5
       , science-constants >= 0.2
-      , numtype
-      , dimensional <0.14
+      , numtype-dk
+      , dimensional <=1.3
     hs-source-dirs: src
     exposed-modules:
       Science.Constants.Dimensional
diff --git a/src/Science/Constants/Dimensional.hs b/src/Science/Constants/Dimensional.hs
--- a/src/Science/Constants/Dimensional.hs
+++ b/src/Science/Constants/Dimensional.hs
@@ -19,7 +19,7 @@
 import qualified Prelude
 import qualified Science.Constants as C
 import Science.Constants.Dimensional.Private
-import Numeric.NumType (neg1,neg2,neg3,pos2,pos3,pos4)
+import Numeric.NumType.DK.Integers (neg1,neg2,neg3,pos2,pos3,pos4)
 import Numeric.Units.Dimensional
 import Numeric.Units.Dimensional.SIUnits
 import Numeric.Units.Dimensional.Quantities
@@ -42,7 +42,7 @@
 
 vacuumPermeability      = C.vacuumPermeability
     *~ (kilo gram * meter * second^neg2 * ampere^neg2)
-    ~~ newton * ampere^neg2
+    -- ~~ newton * ampere^neg2
 permeabilityOfFreeSpace = vacuumPermeability
 magneticConstant        = vacuumPermeability
 mu_0                    = vacuumPermeability
diff --git a/src/Science/Constants/Dimensional/Private.hs b/src/Science/Constants/Dimensional/Private.hs
--- a/src/Science/Constants/Dimensional/Private.hs
+++ b/src/Science/Constants/Dimensional/Private.hs
@@ -19,5 +19,5 @@
 -- | This is a compile-time check function, it ensures that the first
 -- argument has the Unit-type of the second argument.
 infixl 0 ~~
-(~~) :: Quantity d a -> Unit d a  -> Quantity d a
+(~~) :: Quantity d a -> Unit m d a -> Quantity d a
 (~~) = Prelude.const