HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 3728239,
"next": "https://ports.macports.org/api/v1/files/?format=api&page=74473",
"previous": "https://ports.macports.org/api/v1/files/?format=api&page=74471",
"results": [
{
"build_id": 311847,
"files": []
},
{
"build_id": 311848,
"files": []
},
{
"build_id": 311849,
"files": []
},
{
"build_id": 311850,
"files": []
},
{
"build_id": 311851,
"files": [
{
"file": " /opt/local/bin/koi8rxterm\n"
},
{
"file": " /opt/local/bin/resize\n"
},
{
"file": " /opt/local/bin/uxterm\n"
},
{
"file": " /opt/local/bin/xterm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm-color\n"
},
{
"file": " /opt/local/share/man/man1/koi8rxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/resize.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/uxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/xterm.1.gz\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_48x48.xpm\n"
}
]
},
{
"build_id": 311852,
"files": [
{
"file": " /opt/local/bin/reflex\n"
},
{
"file": " /opt/local/bin/reflex++\n"
},
{
"file": " /opt/local/include/reFlexLexer.h\n"
},
{
"file": " /opt/local/lib/librefl.a\n"
},
{
"file": " /opt/local/share/man/man1/reflex.1.gz\n"
}
]
},
{
"build_id": 311853,
"files": [
{
"file": " /opt/local/lib/pkgconfig/glx.pc\n"
},
{
"file": " /opt/local/share/drirc.d/00-mesa-defaults.conf\n"
},
{
"file": " /opt/local/include/GL/gl.h\n"
},
{
"file": " /opt/local/include/GL/glcorearb.h\n"
},
{
"file": " /opt/local/include/GL/glext.h\n"
},
{
"file": " /opt/local/include/GL/glx.h\n"
},
{
"file": " /opt/local/include/GL/glxext.h\n"
},
{
"file": " /opt/local/include/GL/internal/dri_interface.h\n"
},
{
"file": " /opt/local/include/KHR/khrplatform_mesa.h\n"
},
{
"file": " /opt/local/lib/libGL.1.dylib\n"
},
{
"file": " /opt/local/lib/libGL.dylib\n"
},
{
"file": " /opt/local/lib/libgallium-25.3.4.dylib\n"
},
{
"file": " /opt/local/lib/pkgconfig/dri.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/gl.pc\n"
}
]
},
{
"build_id": 311854,
"files": []
},
{
"build_id": 327545,
"files": [
{
"file": " /opt/local/libexec/idris2/bin/idris2_app/idris2-boot.so\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.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.so\n"
},
{
"file": " /opt/local/libexec/idris2/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttc\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/support/js/support.js\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_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": 327546,
"files": []
},
{
"build_id": 327547,
"files": []
},
{
"build_id": 327548,
"files": []
},
{
"build_id": 327549,
"files": []
},
{
"build_id": 327550,
"files": []
},
{
"build_id": 327551,
"files": []
},
{
"build_id": 327552,
"files": []
},
{
"build_id": 261171,
"files": []
},
{
"build_id": 261172,
"files": []
},
{
"build_id": 261173,
"files": []
},
{
"build_id": 261174,
"files": []
},
{
"build_id": 261175,
"files": []
},
{
"build_id": 261176,
"files": []
},
{
"build_id": 261177,
"files": [
{
"file": " /opt/local/bin/koi8rxterm\n"
},
{
"file": " /opt/local/bin/resize\n"
},
{
"file": " /opt/local/bin/uxterm\n"
},
{
"file": " /opt/local/bin/xterm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm-color\n"
},
{
"file": " /opt/local/share/man/man1/koi8rxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/resize.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/uxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/xterm.1.gz\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_48x48.xpm\n"
}
]
},
{
"build_id": 261178,
"files": [
{
"file": " /opt/local/bin/reflex\n"
},
{
"file": " /opt/local/bin/reflex++\n"
},
{
"file": " /opt/local/include/reFlexLexer.h\n"
},
{
"file": " /opt/local/lib/librefl.a\n"
}
]
},
{
"build_id": 261179,
"files": [
{
"file": " /opt/local/include/GL/gl.h\n"
},
{
"file": " /opt/local/include/GL/glcorearb.h\n"
},
{
"file": " /opt/local/include/GL/glext.h\n"
},
{
"file": " /opt/local/include/GL/glx.h\n"
},
{
"file": " /opt/local/include/GL/glxext.h\n"
},
{
"file": " /opt/local/include/GL/internal/dri_interface.h\n"
},
{
"file": " /opt/local/include/KHR/khrplatform_mesa.h\n"
},
{
"file": " /opt/local/lib/libGL.1.dylib\n"
},
{
"file": " /opt/local/lib/libGL.dylib\n"
},
{
"file": " /opt/local/lib/libgallium-25.3.4.dylib\n"
},
{
"file": " /opt/local/lib/pkgconfig/dri.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/gl.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/glx.pc\n"
},
{
"file": " /opt/local/share/drirc.d/00-mesa-defaults.conf\n"
}
]
},
{
"build_id": 261180,
"files": []
},
{
"build_id": 223909,
"files": []
},
{
"build_id": 223910,
"files": []
},
{
"build_id": 223911,
"files": []
},
{
"build_id": 223912,
"files": []
},
{
"build_id": 223913,
"files": []
},
{
"build_id": 223914,
"files": []
},
{
"build_id": 223915,
"files": [
{
"file": " /opt/local/share/pixmaps/xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_32x32.xpm\n"
},
{
"file": " /opt/local/bin/koi8rxterm\n"
},
{
"file": " /opt/local/bin/resize\n"
},
{
"file": " /opt/local/bin/uxterm\n"
},
{
"file": " /opt/local/bin/xterm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm-color\n"
},
{
"file": " /opt/local/share/man/man1/koi8rxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/resize.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/uxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/xterm.1.gz\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_48x48.xpm\n"
}
]
},
{
"build_id": 223916,
"files": [
{
"file": " /opt/local/bin/reflex\n"
},
{
"file": " /opt/local/bin/reflex++\n"
},
{
"file": " /opt/local/include/reFlexLexer.h\n"
},
{
"file": " /opt/local/lib/librefl.a\n"
}
]
},
{
"build_id": 223917,
"files": [
{
"file": " /opt/local/include/GL/gl.h\n"
},
{
"file": " /opt/local/include/GL/glcorearb.h\n"
},
{
"file": " /opt/local/include/GL/glext.h\n"
},
{
"file": " /opt/local/include/GL/glx.h\n"
},
{
"file": " /opt/local/include/GL/glxext.h\n"
},
{
"file": " /opt/local/include/GL/internal/dri_interface.h\n"
},
{
"file": " /opt/local/include/KHR/khrplatform_mesa.h\n"
},
{
"file": " /opt/local/lib/libGL.1.dylib\n"
},
{
"file": " /opt/local/lib/libGL.dylib\n"
},
{
"file": " /opt/local/lib/libgallium-25.3.4.dylib\n"
},
{
"file": " /opt/local/lib/pkgconfig/dri.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/gl.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/glx.pc\n"
},
{
"file": " /opt/local/share/drirc.d/00-mesa-defaults.conf\n"
}
]
},
{
"build_id": 28100,
"files": [
{
"file": " /opt/local/lib/postgresql18/timescaledb-2.25.0.dylib\n"
},
{
"file": " /opt/local/lib/postgresql18/timescaledb.dylib\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.10.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.10.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.10.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.10.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.11.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.11.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.11.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.12.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.12.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.12.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.13.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.13.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.14.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.14.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.14.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.15.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.15.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.15.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.15.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.16.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.16.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.17.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.17.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.17.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.18.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.18.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.18.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.19.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.19.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.19.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.19.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.20.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.20.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.20.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.20.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.21.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.21.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.21.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.21.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.21.4--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.22.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.22.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.23.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.23.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.24.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.9.0--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.9.1--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.9.2--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb--2.9.3--2.25.0.sql\n"
},
{
"file": " /opt/local/share/postgresql18/extension/timescaledb.control\n"
}
]
},
{
"build_id": 28101,
"files": [
{
"file": " /opt/local/share/doc/timescaledb/README\n"
}
]
},
{
"build_id": 28102,
"files": [
{
"file": " /opt/local/bin/koi8rxterm\n"
},
{
"file": " /opt/local/bin/resize\n"
},
{
"file": " /opt/local/bin/uxterm\n"
},
{
"file": " /opt/local/bin/xterm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/KOI8RXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/UXTerm-color\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm\n"
},
{
"file": " /opt/local/share/X11/app-defaults/XTerm-color\n"
},
{
"file": " /opt/local/share/man/man1/koi8rxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/resize.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/uxterm.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/xterm.1.gz\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/filled-xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/mini.xterm_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm-color_48x48.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_16x16.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_32x32.xpm\n"
},
{
"file": " /opt/local/share/pixmaps/xterm_48x48.xpm\n"
}
]
},
{
"build_id": 28103,
"files": [
{
"file": " /opt/local/bin/reflex\n"
},
{
"file": " /opt/local/bin/reflex++\n"
},
{
"file": " /opt/local/include/reFlexLexer.h\n"
},
{
"file": " /opt/local/lib/librefl.a\n"
},
{
"file": " /opt/local/share/man/man1/reflex.1.gz\n"
}
]
},
{
"build_id": 28104,
"files": [
{
"file": " /opt/local/include/GL/gl.h\n"
},
{
"file": " /opt/local/include/GL/glcorearb.h\n"
},
{
"file": " /opt/local/include/GL/glext.h\n"
},
{
"file": " /opt/local/include/GL/glx.h\n"
},
{
"file": " /opt/local/include/GL/glxext.h\n"
},
{
"file": " /opt/local/include/GL/internal/dri_interface.h\n"
},
{
"file": " /opt/local/include/KHR/khrplatform_mesa.h\n"
},
{
"file": " /opt/local/lib/libGL.1.dylib\n"
},
{
"file": " /opt/local/lib/libGL.dylib\n"
},
{
"file": " /opt/local/lib/libgallium-25.3.4.dylib\n"
},
{
"file": " /opt/local/lib/pkgconfig/dri.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/gl.pc\n"
},
{
"file": " /opt/local/lib/pkgconfig/glx.pc\n"
},
{
"file": " /opt/local/share/drirc.d/00-mesa-defaults.conf\n"
}
]
},
{
"build_id": 28105,
"files": []
},
{
"build_id": 28106,
"files": []
},
{
"build_id": 28107,
"files": []
},
{
"build_id": 28108,
"files": [
{
"file": " /opt/local/share/doc/py-uv-build/README\n"
}
]
},
{
"build_id": 28109,
"files": [
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/bin/uv-build\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build-0.9.30.dist-info/METADATA\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build-0.9.30.dist-info/RECORD\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build-0.9.30.dist-info/WHEEL\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build-0.9.30.dist-info/licenses/LICENSE-APACHE\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build-0.9.30.dist-info/licenses/LICENSE-MIT\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__init__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__main__.py\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__pycache__/__init__.cpython-39.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__pycache__/__init__.cpython-39.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__pycache__/__main__.cpython-39.opt-1.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/__pycache__/__main__.cpython-39.pyc\n"
},
{
"file": " /opt/local/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/uv_build/py.typed\n"
},
{
"file": " /opt/local/bin/uv-build-3.9\n"
}
]
},
{
"build_id": 28110,
"files": []
},
{
"build_id": 70412,
"files": [
{
"file": " /opt/local/bin/dos2unix\n"
},
{
"file": " /opt/local/bin/mac2unix\n"
},
{
"file": " /opt/local/bin/unix2dos\n"
},
{
"file": " /opt/local/bin/unix2mac\n"
},
{
"file": " /opt/local/share/doc/dos2unix/BUGS.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/COPYING.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/ChangeLog.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/INSTALL.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/NEWS.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/README.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/TODO.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/de/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/de/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/es/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/es/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/fr/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/fr/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/ko/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/ko/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/nl/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/nl/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/pl/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/pl/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/pt_BR/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/pt_BR/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/ro/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/ro/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/sr/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/sr/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/sv/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/sv/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/uk/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/uk/dos2unix.txt\n"
},
{
"file": " /opt/local/share/doc/dos2unix/zh_CN/dos2unix.htm\n"
},
{
"file": " /opt/local/share/doc/dos2unix/zh_CN/dos2unix.txt\n"
},
{
"file": " /opt/local/share/locale/ca/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/da/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/de/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/eo/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/es/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/fr/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/fur/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/hu/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/ja/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/ka/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/ko/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/nb/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/nl/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/pl/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/pt_BR/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/ro/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/ru/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/sr/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/sv/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/uk/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/vi/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/zh_CN/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/locale/zh_TW/LC_MESSAGES/dos2unix.mo\n"
},
{
"file": " /opt/local/share/man/de/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/de/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/de/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/de/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/es/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/es/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/es/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/es/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/fr/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/fr/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/fr/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/fr/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/ko/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/ko/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/ko/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/ko/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/man1/dos2unix.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/mac2unix.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/unix2dos.1.gz\n"
},
{
"file": " /opt/local/share/man/man1/unix2mac.1.gz\n"
},
{
"file": " /opt/local/share/man/nl/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/nl/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/nl/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/nl/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/pl/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/pl/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/pl/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/pl/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/pt_BR/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/pt_BR/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/pt_BR/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/pt_BR/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/ro/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/ro/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/ro/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/ro/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/sr/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/sr/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/sr/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/sr/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/sv/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/sv/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/sv/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/sv/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/uk/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/uk/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/uk/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/uk/man1/unix2mac.1\n"
},
{
"file": " /opt/local/share/man/zh_CN/man1/dos2unix.1\n"
},
{
"file": " /opt/local/share/man/zh_CN/man1/mac2unix.1\n"
},
{
"file": " /opt/local/share/man/zh_CN/man1/unix2dos.1\n"
},
{
"file": " /opt/local/share/man/zh_CN/man1/unix2mac.1\n"
}
]
},
{
"build_id": 70413,
"files": [
{
"file": " /opt/local/lib/octave/packages/datatypes-1.1.7/aarch64-apple-darwin23.6.0-api-v60/__ckeyHash__.oct\n"
},
{
"file": " /opt/local/lib/octave/packages/datatypes-1.1.7/aarch64-apple-darwin23.6.0-api-v60/__csv2table__.oct\n"
},
{
"file": " /opt/local/lib/octave/packages/datatypes-1.1.7/aarch64-apple-darwin23.6.0-api-v60/__datetime__.oct\n"
},
{
"file": " /opt/local/lib/octave/packages/datatypes-1.1.7/aarch64-apple-darwin23.6.0-api-v60/__nkeyHash__.oct\n"
},
{
"file": " /opt/local/lib/octave/packages/datatypes-1.1.7/aarch64-apple-darwin23.6.0-api-v60/__table2csv__.oct\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/@cell/disp.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/@cell/display.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/@cell/private/__disp__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/NaT.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/PKG_ADD\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/PKG_DEL\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/array2table.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/caldays.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/calendarDuration.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/calmonths.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/calquarters.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/calweeks.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/calyears.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/categorical.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/cell2table.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/convertCharsToStrings.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/convertStringsToChars.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/csv2table.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/datetime.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/days.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/demos/table.DimensionNames\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/demos/table.RowNames\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/demos/table.VariableNames\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/demos/table.summary\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/demos/table.table\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/doc-cache\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/doc/datatypes.png\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/duration.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/hours.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/iscalendarduration.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/iscategorical.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/isdatetime.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/isduration.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/isnat.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/istable.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/keyHash.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/keyMatch.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/milliseconds.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/minutes.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/missing.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/packinfo/COPYING\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/packinfo/DESCRIPTION\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/packinfo/INDEX\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/parsePairedArguments.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/patients.mat\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__disp__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__grp2idx__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__ismissing__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__nanmax__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__nanmin__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/__unique__.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/private/pairedArgs.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/seconds.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/string.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/struct2table.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/table.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tests/calendarDuration.m-tst\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tests/table.m-tst\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/LICENSE\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/africa\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/antarctica\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/asia\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/australasia\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/backward\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/backzone\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/calendars\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/etcetera\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/europe\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/factory\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/iso3166.tab\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/leap-seconds.list\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/leapseconds\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/northamerica\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/southamerica\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/version\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/windowsZones.xml\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/zone.tab\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/zone1970.tab\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/tzdata/zonenow.tab\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/vartype.m\n"
},
{
"file": " /opt/local/share/octave/packages/datatypes-1.1.7/years.m\n"
}
]
},
{
"build_id": 70414,
"files": []
},
{
"build_id": 70415,
"files": []
}
]
}