From 7f8d20702080bd0d1da5d83b5012854ded2921c5 Mon Sep 17 00:00:00 2001 From: "Benjamin W. Bohl" Date: Tue, 26 Sep 2023 12:24:43 +0200 Subject: [PATCH] fix url --- Casks/t/tiptoi-manager.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Casks/t/tiptoi-manager.rb b/Casks/t/tiptoi-manager.rb index e98e389676..4d0d726315 100644 --- a/Casks/t/tiptoi-manager.rb +++ b/Casks/t/tiptoi-manager.rb @@ -2,7 +2,7 @@ cask "tiptoi-manager" do version "5.1" sha256 :no_check - url "https://www.ravensburger.de/db/Installer/tiptoi_Manager_Installer.pkg" + url "https://cdn.ravensburger.de/db/Installer/tiptoi_Manager_Installer.pkg" name "tiptoi Manager" desc "Manage the data on children's Ravensburger tip toi audio pen" homepage "https://www.ravensburger.de/entdecken/ravensburger-marken/tiptoi/tiptoi-manager/index.html"