Index of /pub/NetBSD/NetBSD-release-10/src/sbin/veriexecctl

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]veriexecctl.h2020-06-07 00:36 1.8K 
[   ]veriexecctl.82017-07-03 23:33 3.6K 
[TXT]veriexecctl.c2017-01-10 21:48 7.6K 
[   ]veriexecctl_conf.l2011-05-24 14:06 2.7K 
[   ]veriexecctl_parse.y2009-03-16 14:38 5.4K 
[   ]Makefile2008-07-24 08:13 271  

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443