Merge pull request #4163 from mpickering/patch-1
Expose Idris.Package.Parser
commitb6d3c486f6ee2f56f92ca1a8fa8c08d71766bb0c
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 30 Oct 2017, 19:33 (9 years ago)
parentaad76886e0eebc
idris.cabal+2−1
@@ -249,6 +249,7 @@ Library
249249
250250 , Idris.Package
251251 , Idris.Package.Common
252+ , Idris.Package.Parser
252253
253254 , Util.DynamicLinker
254255 , Util.ScreenSize
@@ -258,7 +259,7 @@ Library
258259 Util.Pretty
259260 , Util.Net
260261
261− , Idris.Package.Parser
262+
262263
263264 -- Auto Generated
264265 , Paths_idris