Hello! The hosting site gforge.inria.fr will be taken off-line in December 2020. This GForge instance hosts source code as tarballs, Subversion repos, and Git repos. Users have been invited to migrate to gitlab.inria.fr, which is Git only. It seems that Software Heritage hasn’t archived (yet) all of gforge.inria.fr. Let’s keep track of the situation in this issue. The following packages have their source on gforge.inria.fr: --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,pp packages-on-gforge $7 = (# # # # # # # # # # #) --8<---------------cut here---------------end--------------->8--- ‘isl’ (a dependency of GCC) has its source on gforge.inria.fr but it’s also mirrored at gcc.gnu.org apparently. Of these, the following are available on Software Heritage: --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,pp archived-source $8 = (# # # # # # # #) --8<---------------cut here---------------end--------------->8--- So we’ll be missing these: --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,pp (lset-difference eq? $7 $8) $11 = (# # # # #) --8<---------------cut here---------------end--------------->8--- Attached the code I used for this. Thanks, Ludo’.