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

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      work.log                2022-08-29 00:16   20K  
      pre-clean.log           2022-08-29 00:14   33   
      depends.log             2022-08-29 00:16   11K  
      configure.log           2022-08-29 00:16   11K  
      checksum.log            2022-08-29 00:16  155