Index of /pkgsrc/reports/current/NetBSD-9.0/20261007.2158/lean4-4.34.1

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      pre-clean.log           2026-10-12 05:33   31   
      checksum.log            2026-10-12 05:34  312   
      depends.log             2026-10-12 05:33  716   
      build.log               2026-10-12 05:34  3.0K  
      configure.log           2026-10-12 05:34  9.7K  
      work.log                2026-10-12 05:34   18K