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", |
