Hi,

I'm try upgrading from guix-0.12.0-10.ba2260d but the profile is not upated.

I used "guix pull" to get the latest version.

"guix package -u" is loading substitutes, fails with this and recommends
using --fallback.

"guix package -u --fallback" when run the first time did compile some
packages, but did not update the profile.

"guix package -u --fallback" when run another time does *nothing*. "guix
package -l" still show the old generation.


"guix package -A guix" lists guix-0.13.0-4.f1ddfe4, so it should be
aware of the new package.

What is going on here? How can I solve this?

I also tried setting SSL_CERT_DIR, SSL_CERT_FILE and GIT_SSL_CAINFO
without success.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |