change package name again

hpi-schul-cloud · Apr 16, 2024 · 184b64b · 184b64b
1 parent 4e8aef2
commit 184b64b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/ci/fetch.github.sh b/scripts/ci/fetch.github.sh
@@ -25,7 +25,7 @@ set -e
 sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv B00A0BD1E2C63C11
 echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/5.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb.list
 sudo apt update
-sudo apt install -y apt-transport-https ca-certificates curl git mongodb-org-tools
+sudo apt install -y apt-transport-https ca-certificates curl git mongodb-database-tools
 
 if [[ -z "$BRANCH_NAME" ]]; then
     echo "Must provide BRANCH_NAME in environment"