HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 3735872,
"next": "https://ports.macports.org/api/v1/files/?format=api&page=74565",
"previous": "https://ports.macports.org/api/v1/files/?format=api&page=74563",
"results": [
{
"build_id": 311928,
"files": []
},
{
"build_id": 311929,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/bin/scour\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/METADATA\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/RECORD\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/WHEEL\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/entry_points.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour-0.38.2.dist-info/zip-safe\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/__init__.cpython-313.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/__init__.cpython-313.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/scour.cpython-313.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/scour.cpython-313.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/svg_regex.cpython-313.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/svg_regex.cpython-313.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/svg_transform.cpython-313.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/svg_transform.cpython-313.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/yocto_css.cpython-313.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/__pycache__/yocto_css.cpython-313.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/scour.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/svg_regex.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/svg_transform.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/site-packages/scour/yocto_css.py\n"
},
{
"file": " /opt/local/bin/scour-3.13\n"
}
]
},
{
"build_id": 311930,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/bin/scour\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/METADATA\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/RECORD\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/WHEEL\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/entry_points.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/top_level.txt\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour-0.38.2.dist-info/zip-safe\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/__init__.cpython-314.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/__init__.cpython-314.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/scour.cpython-314.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/scour.cpython-314.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/svg_regex.cpython-314.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/svg_regex.cpython-314.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/svg_transform.cpython-314.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/svg_transform.cpython-314.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/yocto_css.cpython-314.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/__pycache__/yocto_css.cpython-314.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/scour.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/svg_regex.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/svg_transform.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.14/lib/python3.14/site-packages/scour/yocto_css.py\n"
},
{
"file": " /opt/local/bin/scour-3.14\n"
}
]
},
{
"build_id": 319508,
"files": []
},
{
"build_id": 319509,
"files": []
},
{
"build_id": 319510,
"files": []
},
{
"build_id": 319511,
"files": []
},
{
"build_id": 319512,
"files": []
},
{
"build_id": 319513,
"files": []
},
{
"build_id": 319514,
"files": []
},
{
"build_id": 319515,
"files": []
},
{
"build_id": 319516,
"files": []
},
{
"build_id": 319517,
"files": []
},
{
"build_id": 319518,
"files": []
},
{
"build_id": 319519,
"files": []
},
{
"build_id": 319520,
"files": []
},
{
"build_id": 328712,
"files": []
},
{
"build_id": 328713,
"files": [
{
"file": " /opt/local/bin/snooze\n"
},
{
"file": " /opt/local/share/man/man1/snooze.1.gz\n"
}
]
},
{
"build_id": 328714,
"files": []
},
{
"build_id": 328715,
"files": []
},
{
"build_id": 328716,
"files": []
},
{
"build_id": 328717,
"files": []
},
{
"build_id": 328718,
"files": []
},
{
"build_id": 328719,
"files": []
},
{
"build_id": 328720,
"files": []
},
{
"build_id": 328721,
"files": []
},
{
"build_id": 328722,
"files": []
},
{
"build_id": 328723,
"files": []
},
{
"build_id": 328724,
"files": []
},
{
"build_id": 328725,
"files": []
},
{
"build_id": 328726,
"files": []
},
{
"build_id": 328727,
"files": []
},
{
"build_id": 328728,
"files": []
},
{
"build_id": 328729,
"files": []
},
{
"build_id": 328730,
"files": []
},
{
"build_id": 328731,
"files": []
},
{
"build_id": 328732,
"files": []
},
{
"build_id": 328733,
"files": []
},
{
"build_id": 328734,
"files": []
},
{
"build_id": 328735,
"files": []
},
{
"build_id": 328736,
"files": []
},
{
"build_id": 226993,
"files": []
},
{
"build_id": 242399,
"files": [
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttc\n"
},
{
"file": " /opt/local/bin/idris2\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/compileChez\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2-boot.so\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2-boot.ss\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2.so\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2.ss\n"
},
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/libidris2_support.dylib\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/base.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/contrib-0.8.0/contrib.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/lib/libidris2_support.a\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/lib/libidris2_support.dylib\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/linear-0.8.0/linear.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/network-0.8.0/network.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/prelude-0.8.0/prelude.ipkg\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/getline.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_directory.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_file.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_memory.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_net.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_signal.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_support.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_system.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_term.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/c/idris_util.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/ct-support.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/support-sep.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/chez/support.ss\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/alternative.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/blackandwhite.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/docs/default.css\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/gambit/foreign.scm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/gambit/support.scm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_clock.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_directory.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_file.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/js/support_system_signal.js\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/racket/ct-support.rkt\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/racket/support.rkt\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/_datatypes.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/buffer.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/cBackend.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/casts.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/clock.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/libidris2_refc.a\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/mathFunctions.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/memoryManagement.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/prim.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/refc_util.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/runtime.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/stringOps.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/support/refc/threads.h\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttc\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttm\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/test-0.8.0/test.ipkg\n"
}
]
},
{
"build_id": 242400,
"files": []
},
{
"build_id": 242401,
"files": []
},
{
"build_id": 242402,
"files": []
},
{
"build_id": 242403,
"files": []
},
{
"build_id": 242404,
"files": []
},
{
"build_id": 242405,
"files": []
},
{
"build_id": 242406,
"files": []
}
]
}