git.iko.soy/Idris-dev
on master help sign in
Increment IBC version
2b09cc1Edwin Brady
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 = 25
24+ibcVersion = 26
25
25
26data IBCFile = IBCFile { ver :: Word8,
26data IBCFile = IBCFile { ver :: Word8,
27 sourcefile :: FilePath,
27 sourcefile :: FilePath,