Index of /packages/linux-ubuntu/pool/universe/v/vera
Name
Last modified
Size
Description
Parent Directory
-
vera_1.20-1_all.deb
2013-10-21 17:35
219K
vera_1.22-1_all.deb
2015-02-18 00:28
225K
vera_1.23-1_all.deb
2016-06-10 13:45
225K
vera_1.24-1_all.deb
2021-01-06 00:55
236K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443