Jestem odcięty od kompa więc nie mam jak testować, piszę z telefonu. Szkoda że nie ma Puppiego na telefon. Samo ręczne wprowadzenie tego pliku może nie wystarczyć, chyba trzeba ponownie repo uaktualnić po to żeby system sobie ten plik przerobił po swojemu. Druga rzecz raczej nie wystarczy ręczna zmiana nazwy, chyba trzeba spakować plik gz do bz2. Użyj pakera albo poszukaj polecenia konsolowego.