diff options
-rwxr-xr-x | mirror-checker.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mirror-checker.lua b/mirror-checker.lua index cf53b7f..ff8691e 100755 --- a/mirror-checker.lua +++ b/mirror-checker.lua | |||
@@ -58,7 +58,7 @@ local notExist = | |||
58 | } | 58 | } |
59 | local referenceDebs = | 59 | local referenceDebs = |
60 | { | 60 | { |
61 | -- Devuan package. NOTE this one likely should not get redirected, but that's more a warning than an error. | 61 | -- Devuan package. NOTE this one should not get redirected, but that's more a warning than an error. |
62 | "merged/pool/DEVUAN/main/d/desktop-base/desktop-base_2.0.3_all.deb", | 62 | "merged/pool/DEVUAN/main/d/desktop-base/desktop-base_2.0.3_all.deb", |
63 | -- Debian package. | 63 | -- Debian package. |
64 | "merged/pool/DEBIAN/main/d/dash/dash_0.5.8-2.4_amd64.deb", | 64 | "merged/pool/DEBIAN/main/d/dash/dash_0.5.8-2.4_amd64.deb", |