From 2421aca0b11b13e52323b98b01c59f019cd3bccc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Kooman?= Date: Thu, 16 Mar 2023 09:27:59 +0100 Subject: [PATCH] php-constant-time.deb no longer used --- repo_backup.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/repo_backup.sh b/repo_backup.sh index b498827..560eeaa 100755 --- a/repo_backup.sh +++ b/repo_backup.sh @@ -34,7 +34,6 @@ REPO_URL_LIST=(\ https://git.sr.ht/~fkooman/builder.rpm \ https://git.sr.ht/~fkooman/put \ https://git.sr.ht/~fkooman/put.rpm \ - https://git.sr.ht/~fkooman/php-constant-time.deb \ https://git.sr.ht/~fkooman/php-jwt \ https://git.sr.ht/~fkooman/php-jwt.deb \ https://git.sr.ht/~fkooman/php-jwt.rpm \ -- 2.45.2