Pourquoi vlc 2.x n’a-t-il pas été mis à niveau vers la version PPA 3.x après l’ajout du PPA correspondant à la version Ubuntu correspondante?

J'ai ajouté le PPA maître VLC avec

sudo add-apt-repository ppa:videolan/master-daily

et exécutez sudo apt-get updateet assurez-vous qu'il réussit sur Ubuntu 17.04 qui est pris en charge conformément à la page d'accueil PPA . La dernière version du PPA est 3.0.0 ~~ git20170702 + r70519 + 66 ~ ubuntu17.04.1, qui est supérieure à la version 2.2.4-14ubuntu2 actuellement installée. Cependant, sudo apt-get dist-upgradene suggère pas la version de mise à niveau comme cela a été le cas pour les dizaines de PPA que j'ai ajoutés au cours des dernières années. J'ai répété la préparation plusieurs fois, donc il manque sudo apt-get updatecertainement pas la raison.

Sur la page d'accueil de l'APP, je vois

Je sais que cela peut être un peu déroutant, vous devez cliquer sur Voir les détails du paquet pour voir l'état de construction des paquets. Vous verrez que les architectures amd64, armhf et i386 ont échoué. Vous pouvez explorer plus en profondeur et voir dans le journal de construction pourquoi il a échoué. Commencez simplement à la fin du fichier et remontez-le.

Je suppose que le problème est enterré quelque part ici ou même plus tôt:

/bin/bash: line 4: 31545 Segmentation fault      (core dumped) ./vlc-cache-gen `realpath ../modules`
Makefile:1634: recipe for target '../modules/plugins.dat' failed
make[4]: *** [../modules/plugins.dat] Error 139
make[4]: Leaving directory '/<<BUILDDIR>>/vlc-3.0.0~~git20170702+r70519+66~ubuntu17.04.1/bin'
Makefile:1520: recipe for target 'all-recursive' failed
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory '/<<BUILDDIR>>/vlc-3.0.0~~git20170702+r70519+66~ubuntu17.04.1'
Makefile:1405: recipe for target 'all' failed
make[2]: *** [all] Error 2
make[2]: Leaving directory '/<<BUILDDIR>>/vlc-3.0.0~~git20170702+r70519+66~ubuntu17.04.1'
dh_auto_build: make -j4 returned exit code 2
debian/rules:245: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<BUILDDIR>>/vlc-3.0.0~~git20170702+r70519+66~ubuntu17.04.1'
debian/rules:232: recipe for target 'build' failed
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
--------------------------------------------------------------------------------
Build finished at 20170702-1002

Finished
--------

E: Build failure (dpkg-buildpackage died)

Vous avez probablement lu la description:

Cette archive de paquet contient des versions quotidiennes créées à partir de la branche de développement de VLC (également appelée branche principale de vlc.git). Ceci est destiné à des fins de test.

Attention, les builds sont entièrement automatisés et ne font l'objet d'aucune assurance qualité . Les régressions fonctionnelles et les ruptures de construction sont fréquentes.

N'UTILISEZ PAS cette archive si vous n'êtes pas prêt à faire face à de tels problèmes.

Veuillez signaler les problèmes de construction à l’équipe multimédia Debian / Ubuntu . Les développeurs de VideoLAN n’ont pas accès au système de construction.

Je ne sais pas si l'équipe a été informée de cela et je ne sais pas comment le leur faire savoir après avoir lu https://wiki.ubuntu.com/MOTU/Teams/Media et https: // wiki. debian.org/DebianMultimedia . Je n'ai pu trouver que ce fil de discussion sur VLC 3.0 dans les archives de la liste de diffusion Debian de l'année écoulée. De mon point de vue, il est assez déconcertant de retrouver cette information si vous n’avez jamais été impliqué à ce niveau auparavant.