git.iko.soy/Idris-dev
on master help sign in
Bump IBC version.
fe519dbMatus Tejiscak
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -25,7 +25,7 @@ import Codec.Compression.Zlib (compress)
25import Util.Zlib (decompressEither)
25import Util.Zlib (decompressEither)
26
26
27ibcVersion :: Word8
27ibcVersion :: Word8
28−ibcVersion = 61
28+ibcVersion = 62
29
29
30
30
31data IBCFile = IBCFile { ver :: Word8,
31data IBCFile = IBCFile { ver :: Word8,