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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      pre-clean.log           2022-08-27 09:22   33   
      checksum.log            2022-08-27 09:23  155   
      configure.log           2022-08-27 09:24   11K  
      depends.log             2022-08-27 09:23   11K  
      work.log                2022-08-27 09:24   20K