Bump version number following new policy
authorIan Lynagh <ian@well-typed.com>
Fri, 30 Nov 2012 16:40:49 +0000 (16:40 +0000)
committerIan Lynagh <ian@well-typed.com>
Fri, 30 Nov 2012 16:40:49 +0000 (16:40 +0000)
commita8c9be6c0a7fc56201c54c49d965c32f22b2bea8
treef1c4134876a30cb2d86e3933db337413d2a7eb85
parent664478b3c43f32a1a328c1b4081d8b60f81a5b39
Bump version number following new policy

We now keep the HEAD version numbers as values which would be suitable
for immediate release.
integer-gmp.cabal