git.iko.soy/Idris-dev
on master help sign in
Changed the Idris version back, fixed the IBC version instead
c6f7354Ahmad Salim Al-Sibahi
idris.cabal+1−1
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 0.9.9.4
2+Version: 0.9.9.3
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
src/Idris/IBC.hs+1−1
@@ -23,7 +23,7 @@ import Debug.Trace
23import Paths_idris
23import Paths_idris
24
24
25ibcVersion :: Word8
25ibcVersion :: Word8
26−ibcVersion = 41
26+ibcVersion = 42
27
27
28data IBCFile = IBCFile { ver :: Word8,
28data IBCFile = IBCFile { ver :: Word8,
29 sourcefile :: FilePath,
29 sourcefile :: FilePath,