Index of /dsi/dists/veryold

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]InRelease2023-07-06 16:09 3.2K
[ ]Release2023-07-06 16:09 2.3K
[ ]Release.gpg2023-07-06 16:09 833
[DIR]internal/2017-09-19 19:09 -
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443