You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
After configurating GAMA platform PPA on my debian-based system, I encountered an error:
E: Failed to fetch https://github.com/gama-platform/gama/releases/download/0.0.0-SNAPSHOT/GAMA_2024.03.0_Linux_with_JDK_13.03.24_bc34c22.deb 404 Not Found [IP: 20.205.243.166 443] E: Internal Error, ordering was unable to handle the media swap
This issue happens both after trying to download packages gama-platform and gama-platform-jdk using package manager apt.
Here is the content of my /etc/apt/sources.list, as instructed on both github guide for configurating the PPA as well as the PPA website : deb [trusted=yes] https://ppa.gama-platform.org ./
OS : Pos!_OS 22.04
System : Dell Precision 5480
The text was updated successfully, but these errors were encountered:
After configurating GAMA platform PPA on my debian-based system, I encountered an error:
E: Failed to fetch https://github.com/gama-platform/gama/releases/download/0.0.0-SNAPSHOT/GAMA_2024.03.0_Linux_with_JDK_13.03.24_bc34c22.deb 404 Not Found [IP: 20.205.243.166 443]
E: Internal Error, ordering was unable to handle the media swap
This issue happens both after trying to download packages
gama-platform
andgama-platform-jdk
using package manager apt.Here is the content of my /etc/apt/sources.list, as instructed on both github guide for configurating the PPA as well as the PPA website :
deb [trusted=yes] https://ppa.gama-platform.org ./
OS : Pos!_OS 22.04
System : Dell Precision 5480
The text was updated successfully, but these errors were encountered: