Index of /pkgsrc/reports/current/NetBSD-9.0_RC1/20191217.1142/coq-8.9.1nb3

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] build.log               17-Dec-2019 23:32  138K  
[TXT] work.log                17-Dec-2019 23:32  468K  
[TXT] configure.log           17-Dec-2019 23:30  5.7K  
[TXT] checksum.log            17-Dec-2019 23:29  368   
[TXT] depends.log             17-Dec-2019 23:28   18K  
[TXT] pre-clean.log           17-Dec-2019 23:27   31
Apache/2.0.65 (Unix) mod_ssl/2.0.65 OpenSSL/1.0.1g DAV/2 PHP/5.4.26 Server at www.ki.nu Port 80