git.iko.soy/Idris-dev
on master help sign in
IBC Version number bump
commit9822081aa642afd971771058c560fd5703318d13 authorJan Bessai <Jan.Bessai@tu-dortmund.de> dateTue 26 Mar 2013, 00:44 (14 years ago) parentd479f4a
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/IBC.hs+1−1
src/Idris/IBC.hs+1−1
@@ -21,7 +21,7 @@ import System.Directory
2121import Paths_idris
2222
2323ibcVersion :: Word8
24−ibcVersion = 28
24+ibcVersion = 29
2525
2626data IBCFile = IBCFile { ver :: Word8,
2727 sourcefile :: FilePath,