git.iko.soy/Idris-dev
on master help sign in
Update IBC version
cbccdd0Edwin Brady
src/Idris/IBC.hs+1−1
compare with master
unifiedsplit
@@ -23,7 +23,7 @@ import Debug.Trace
23import Paths_idris
23import Paths_idris
24
24
25ibcVersion :: Word8
25ibcVersion :: Word8
26−ibcVersion = 47
26+ibcVersion = 48
27
27
28data IBCFile = IBCFile { ver :: Word8,
28data IBCFile = IBCFile { ver :: Word8,
29 sourcefile :: FilePath,
29 sourcefile :: FilePath,