Index of /pkgsrc/reports/current/NetBSD-9.0/20260726.0415/lean4-4.32.1nb1

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      build.log               2026-07-29 19:28  3.0K  
      checksum.log            2026-07-29 19:28  312   
      configure.log           2026-07-29 19:28  9.4K  
      depends.log             2026-07-29 19:27  716   
      pre-clean.log           2026-07-29 19:27   34   
      work.log                2026-07-29 19:28   18K