Hi Maxim, Maxim Cournoyer skribis: >> The following packages have their source on gforge.inria.fr: >> >> scheme@(guile-user)> ,pp packages-on-gforge >> $7 = (# >> # >> # [...] > I ran the code you had attached to the original message and got: > > ,pp packages-on-gforge > $2 = () > scheme@(guile-user)> ,pp archived-source > $3 = () Oh, it’s due to a bug, where the wrong ‘origin?’ predicate was taken. After hiding the “wrong” one: #:use-module ((guix swh) #:hide (origin?)) I get: --8<---------------cut here---------------start------------->8--- scheme@(guix-user)> ,pp packages-on-gforge $1 = (# # # # # # # # # # # # # #) scheme@(guix-user)> ,pp archived-source $2 = (# # # # # # # #) --8<---------------cut here---------------end--------------->8--- Attaching the fixed script for clarity. BTW, gforge.inria.fr shutdown has been delayed a bit, but most active projects have started migrating to gitlab.inria.fr or elsewhere, so hopefully we should be able to start updating our package recipes accordingly. It’s likely, though, that tarballs were lost in the migration. For example, Scotch is now at . shows “assets” for the 6.1.0 release, but these are auto-generated tarballs instead of the handcrafted one found on gforge.inria.fr (but this one is fine since its tarball is archived as-is on SWH.) ISL, MPFI, and GMP-ECM haven’t migrated, it seems. CMH is now at but without its tarballs. Andreas, do you happen to know about the status of these? We can already change Scotch and CMH to ‘git-fetch’ I think. That doesn’t solve the problem for earlier Guix revisions though, and I hope Disarchive will save us! Thanks, Ludo’.