It's in guix-hpc-nonfree apparently. Could you try this:
guix repl > ,use (inria aerosol) > aerosol > ,q Can you also check there is a aerosol.go file in ~/.config/guix/current? Maybe you don't have permission to clone the reppsitory? It looks like it's private. Le 27 septembre 2020 02:08:44 GMT-04:00, Efraim Flashner <efr...@flashner.co.il> a écrit : >On Fri, Sep 25, 2020 at 02:15:04PM +0200, Matthieu Haefele wrote: >> Dear all, >> >> I am still in the process of learning guix and I am currently stuck >with understanding the problem of my colleague. >> >> jung@jung:~$ guix environment --pure aerosol hdf5-parallel-openmpi >--ad-hoc cmake metis hdf5-parallel-openmpi less coreutils which >> -- /bin/bash --norc >> guix environment: error: aerosol : paquet inconnu >> >> >> Without any surprise the package does not appear in the available >packages: >> jung@jung:~$guix package --list-available=aerosol >> jung@jung:~$ >> >> However, the custom channel to fetch guix-hpc-non-free repository >seems to be properly set up. >> jung@jung:~$ guix pull --list-generations >> Génération 1 25 sept. 2020 12:14:56 >> guix-hpc 9cc4593 >> URL du dépôt : https://gitlab.inria.fr/guix-hpc/guix-hpc.git >> branche: master >> commit : 9cc4593aaaaeaf17a602b620e9ab1974b5b82984 >> guix-hpc-non-free e0bba8f >> URL du dépôt : >https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git >> branche: master >> commit : e0bba8f48f10fac65f839a21a0b3a39e004eeb48 >> guix d48b17a >> URL du dépôt : https://git.savannah.gnu.org/git/guix.git >> branche: master >> commit : d48b17adb91d68acf6fb3f321c05102fcc8c39eb >> Génération 2 25 sept. 2020 13:33:00 (actuelle) >> guix-hpc 9cc4593 >> URL du dépôt : https://gitlab.inria.fr/guix-hpc/guix-hpc.git >> branche: master >> commit : 9cc4593aaaaeaf17a602b620e9ab1974b5b82984 >> guix-hpc-non-free e0bba8f >> URL du dépôt : >https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git >> branche: master >> commit : e0bba8f48f10fac65f839a21a0b3a39e004eeb48 >> guix c32f662 >> URL du dépôt : https://git.savannah.gnu.org/git/guix.git >> branche: master >> commit : c32f662e399e7036323b8499580e56c06bc8afbb >> 2 paquets mis à jour : cl-webkit@2.4-8.04bb570, >sbcl-cl-webkit@2.4-8.04bb570 >> >> I do not know how to go further... >> Thanks in advance for your help >> Best, >> > >Where is aerosol located? I didn't see it in Debian or in the AUR, and >a >web search gave mixed results about aerosol cans. > > >-- >Efraim Flashner <efr...@flashner.co.il> אפרים פלשנר >GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 >Confidentiality cannot be guaranteed on emails sent or received >unencrypted