diff --git a/header.html b/header.html index 0ebe9d9..b42ad0e 100644 --- a/header.html +++ b/header.html @@ -37,6 +37,8 @@ sudo apt update

While packages in this repository primarily come from continuous integration / deployment, package updates are normally stashed and released every day at 2am, to ease updates for clients.

-

A human-readable summary of the packages available in this repository can be found in SUMMARY.txt.

+

A human-readable summary of the packages available in this repository can be found in SUMMARY.txt, which is automatically generated from the source packages in the repo.

+ +

Note that while older versions of packages do exist in this repository, they are not guaranteed to stick around - as they may be cleared out periodically (todo: automatically clear out packages older than ~2-3 versions behind) to save on disk space.

Index of