This commit is contained in:
Benjamin W. Bohl 2023-09-26 12:24:43 +02:00 committed by GitHub
parent 848727348c
commit 7f8d207020
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

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