module
BuildFlags_idris
where
extraLibDirs
::
[
String
]
extraLibDirs :: [String]
extraLibDirs
=
[
]