git.iko.soy/Idris-dev
on master help sign in
Bump IBC version.
commitfe519dbdec9d058fbdf2da800162a67cccd88707 authorMatus Tejiscak <ziman@functor.sk> dateFri 28 Feb 2014, 14:02 (13 years ago) parent1a79f2b
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -25,7 +25,7 @@ import Codec.Compression.Zlib (compress)
2525import Util.Zlib (decompressEither)
2626
2727ibcVersion :: Word8
28−ibcVersion = 61
28+ibcVersion = 62
2929
3030
3131data IBCFile = IBCFile { ver :: Word8,