Commits

dafis committed d323420

Update Changes

Comments (0)

Files changed (1)

+0.2.0.1:
+    Fix copy-pasto (only relevant for 7.3.*)
+    Fix imports for ghc >= 7.3
 0.2.0.0:
     Added certificates and certified testing/factorisation
 0.1.0.2: