Index of /pkgsrc/reports/current/NetBSD-9.0/20260903.1726/lean4-4.33.1nb1

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      work.log                2026-09-07 08:02   18K  
      pre-clean.log           2026-09-07 08:01   34   
      depends.log             2026-09-07 08:02  722   
      configure.log           2026-09-07 08:02  9.7K  
      checksum.log            2026-09-07 08:02  157   
      build.log               2026-09-07 08:02  3.0K