Index of /packages/gnu/vera

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vera-1.24.tar.gz2020-08-04 00:00 235K 
[   ]vera-1.21a.tar.gz2014-01-05 00:00 232K 
[   ]vera-1.21.tar.gz2014-01-05 00:00 231K 
[   ]vera-1.23.tar.gz2016-02-10 00:00 231K 
[   ]vera-1.22.tar.gz2014-09-25 00:00 224K 
[   ]vera-1.20.tar.gz2013-06-09 00:00 220K 
[   ]vera-1.17.tar.gz2006-06-08 00:00 204K 
[   ]vera-1.9.tar.gz2002-06-10 00:00 169K 
[   ]vera-1.8.tar.gz2001-12-07 00:00 163K 
[   ]vera-1.7.tar.gz2001-03-13 00:00 153K 
[   ]vera-1.6.tar.gz2000-06-02 00:00 140K 
[   ]vera-1.5.tar.gz1999-03-03 00:00 130K 
[   ]vera-1.4a.tar.gz1998-10-28 00:00 127K 
[   ]vera-1.22.tar.gz.sig2014-09-25 00:00 490  
[   ]vera-1.21a.tar.gz.sig2014-01-05 00:00 490  
[   ]vera-1.21.tar.gz.sig2014-01-05 00:00 490  
[   ]vera-1.20.tar.gz.sig2013-06-09 00:00 490  
[   ]vera-1.24.tar.gz.sig2020-08-04 00:00 473  
[   ]vera-1.23.tar.gz.sig2016-02-10 00:00 473  
[   ]vera-1.17.tar.gz.sig2006-06-08 00:00 65  

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