git.iko.soy/Idris-dev
on master help sign in
Expose Idris.Package.Parser
6e0eebcMatthew Pickering
idris.cabal+2−1
compare with master
unifiedsplit
@@ -249,6 +249,7 @@ Library
249
249
250 , Idris.Package
250 , Idris.Package
251 , Idris.Package.Common
251 , Idris.Package.Common
252+ , Idris.Package.Parser
252
253
253 , Util.DynamicLinker
254 , Util.DynamicLinker
254 , Util.ScreenSize
255 , Util.ScreenSize
@@ -258,7 +259,7 @@ Library
258 Util.Pretty
259 Util.Pretty
259 , Util.Net
260 , Util.Net
260
261
261− , Idris.Package.Parser
262+
262
263
263 -- Auto Generated
264 -- Auto Generated
264 , Paths_idris
265 , Paths_idris