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

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