Index of /pkgsrc/reports/current/NetBSD-9.0/20260808.2311/yices2-2.6.5

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      build.log               2026-08-11 09:04  362K  
      work.log                2026-08-11 09:04  1.0M  
      configure.log           2026-08-11 09:01  3.3K  
      checksum.log            2026-08-11 09:00  155   
      depends.log             2026-08-11 09:00    0   
      pre-clean.log           2026-08-11 09:00   31