Changed the Idris version back, fixed the IBC version instead
commitc6f7354aab16afcc8d8d2c59df64b337b0e4c594
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 22 Oct 2013, 10:43 (13 years ago)
parent8b17db3
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.9.4
2+Version: 0.9.9.3
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
src/Idris/IBC.hs+1−1
@@ -23,7 +23,7 @@ import Debug.Trace
2323import Paths_idris
2424
2525ibcVersion :: Word8
26−ibcVersion = 41
26+ibcVersion = 42
2727
2828data IBCFile = IBCFile { ver :: Word8,
2929 sourcefile :: FilePath,