Index of /pkgsrc/reports/current/NetBSD-9.0/20261106.1008/lean4-4.35.0

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      build.log               2026-11-09 16:55  3.0K  
      work.log                2026-11-09 16:55   23K  
      configure.log           2026-11-09 16:55   10K  
      checksum.log            2026-11-09 16:55  157   
      depends.log             2026-11-09 16:54  719   
      pre-clean.log           2026-11-09 16:54   31