Index of /gnu/vera
Name Last modified Size Description
Parent Directory -
vera-1.24.tar.gz.sig 2020-08-04 20:41 473
vera-1.24.tar.gz 2020-08-04 20:41 235K
vera-1.23.tar.gz.sig 2016-02-10 20:14 473
vera-1.23.tar.gz 2016-02-10 20:14 231K
vera-1.22.tar.gz.sig 2014-09-25 11:29 490
vera-1.22.tar.gz 2014-09-25 11:29 224K
vera-1.21a.tar.gz.sig 2014-01-05 21:57 490
vera-1.21a.tar.gz 2014-01-05 21:57 232K
vera-1.21.tar.gz.sig 2014-01-05 01:49 490
vera-1.21.tar.gz 2014-01-05 01:49 231K
vera-1.20.tar.gz.sig 2013-06-09 23:42 490
vera-1.20.tar.gz 2013-06-09 23:42 220K
vera-1.17.tar.gz.sig 2006-06-08 07:44 65
vera-1.17.tar.gz 2006-06-08 07:44 204K
vera-1.9.tar.gz 2002-06-10 16:53 169K
vera-1.8.tar.gz 2001-12-07 22:44 163K
vera-1.7.tar.gz 2001-03-13 16:49 153K
vera-1.6.tar.gz 2000-06-02 04:28 140K
vera-1.5.tar.gz 1999-03-04 00:58 130K
vera-1.4a.tar.gz 1998-10-28 06:32 127K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443