Index of /pkgsrc/reports/current/NetBSD-9.0_RC1/20200106.0742/frama-c-20170501nb23

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 build.log               07-Jan-2020 06:22   25K  
 work.log                07-Jan-2020 06:22  219K  
 configure.log           07-Jan-2020 06:21   22K  
 checksum.log            07-Jan-2020 06:20  422   
 depends.log             07-Jan-2020 06:19   19K  
 pre-clean.log           07-Jan-2020 06:18   39

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