git.iko.soy/Idris-dev
on master help sign in
Expose Idris.Package.Parser
commit6e0eebc05bbf47c942e522676810ae68650459e1 authorMatthew Pickering <matthewtpickering@gmail.com> dateMon 30 Oct 2017, 12:15 (9 years ago) parent44a3f9c
1 file changed+2−1
compare with master
unifiedsplit
idris.cabal+2−1
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