Index of /pkgsrc/reports/current/NetBSD-9.0/20220822.1230/idris-1.3.4nb5

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      checksum.log            2022-08-22 20:59  155   
      configure.log           2022-08-22 21:00   11K  
      depends.log             2022-08-22 20:59   11K  
      pre-clean.log           2022-08-22 20:57   33   
      work.log                2022-08-22 21:00   20K