# filelist

dirname: /usr/share/idris-0.9.15.1/base/Data
filetypes: fffffffffffffffffdff
filenames:
  Bits.ibc/BoundedList.ibc/Buffer.ibc/Complex.ibc/Erased.ibc/Floats.ibc/Fun.ibc/HVect.ibc/Hash.ibc/Heap.ibc/List.ibc/Mod2.ibc/Morphisms.ibc/Rel.ibc/Sign.ibc/SortedMap.ibc/SortedSet.ibc/Vect/Vect.ibc/ZZ.ibc


dirname: /usr/share/idris-0.9.15.1/rts
filetypes: dfffffffffffffffffffffff
filenames:
  arduino/idris_bitstring.c/idris_bitstring.h/idris_gc.c/idris_gc.h/idris_gmp.c/idris_gmp.h/idris_heap.c/idris_heap.h/idris_main.c/idris_net.c/idris_net.h/idris_opts.c/idris_opts.h/idris_rts.c/idris_rts.h/idris_stats.c/idris_stats.h/idris_stdfgn.c/idris_stdfgn.h/libidris_rts.a/libtest.c/mini-gmp.c/mini-gmp.h


dirname: /usr/share/idris-0.9.15.1/prelude/Prelude
filetypes: ffffffffffffffffffffff
filenames:
  Algebra.ibc/Applicative.ibc/Basics.ibc/Bits.ibc/Bool.ibc/Cast.ibc/Chars.ibc/Classes.ibc/Either.ibc/Fin.ibc/Foldable.ibc/Functor.ibc/List.ibc/Maybe.ibc/Monad.ibc/Nat.ibc/Pairs.ibc/Stream.ibc/Strings.ibc/Traversable.ibc/Uninhabited.ibc/Vect.ibc


