Index of /pkgsrc/reports/current/NetBSD-9.0/20220528.0309/coq-8.12.2nb4

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      checksum.log            2022-05-28 21:10  153   
      configure.log           2022-05-28 21:11  4.3K  
      depends.log             2022-05-28 21:10  5.5K  
      pre-clean.log           2022-05-28 21:09   32   
      work.log                2022-05-28 21:11  1.0K