nach einem ubuntu-upgrade von 20.04 auf 22.04 funktioniert der Tonsatzeditor Frescobaldi nicht mehr.
(Das Problem habe nicht nur ich, wie man sieht, wenn man in eine Suchmaschine "frescobaldi 22.04" eingibt.)
Bei ubuntu 22.04 ist das offenbar fehlerhafte Frescobaldi 3.1.3 in den Paketquellen enthalten.
Bei ubuntu 20.04 war es Frescobaldi 3.0.0 .
Nun würde ich gern wieder Frescobaldi 3.0.0 installieren, was mir aber nicht gelingt.
Mit
|
Quellcode
|
1
|
sudo apt-get install frescobaldi=3.0.0
|
bekomme ich die Meldung
|
Quellcode
|
1
|
E: Version »3.0.0« für »frescobaldi« konnte nicht gefunden werden.
|
Kann mir jemand einen Tipp geben?