git.iko.soy/Idris-dev
on master help sign in
IBC Version number bump
9822081Jan Bessai
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -21,7 +21,7 @@ import System.Directory
21import Paths_idris
21import Paths_idris
22
22
23ibcVersion :: Word8
23ibcVersion :: Word8
24−ibcVersion = 28
24+ibcVersion = 29
25
25
26data IBCFile = IBCFile { ver :: Word8,
26data IBCFile = IBCFile { ver :: Word8,
27 sourcefile :: FilePath,
27 sourcefile :: FilePath,