Index of /pkgsrc/reports/current/NetBSD-9.0/20260709.1322/coq-8.20.1nb9

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      checksum.log            2026-07-10 14:50  153   
      configure.log           2026-07-10 14:51  4.1K  
      depends.log             2026-07-10 14:50  6.8K  
      pre-clean.log           2026-07-10 14:49   32   
      work.log                2026-07-10 14:48   22