package/develop/idris/idris.cache

   1
   2 [TIMESTAMP] 1645101091 Thu Feb 17 13:31:31 2022
   3 [BUILDTIME] 100 (9)
   4 [SIZE] 50.54 MB, 292 files
   5
   6 [DEP] 00-dirtree
   7 [DEP] binutils
   8 [DEP] chez-scheme
   9 [DEP] coreutils
  10 [DEP] diffutils
  11 [DEP] findutils
  12 [DEP] gawk
  13 [DEP] git
  14 [DEP] gmp
  15 [DEP] grep
  16 [DEP] linux-header
  17 [DEP] make
  18 [DEP] sed
  19 [DEP] tar