bug#56805: guix import opam fails

2023-10-11 Thread Simon Tournier
Hi, This bug#56805 appears to be solved. So closing. Feel free to reopen if I have missed something. https://issues.guix.gnu.org/issue/56805 On Wed, 27 Jul 2022 at 21:28, angola10 wrote: > The following opam package import fails > > Command: `guix import opam -r mirage-crypto-pk` --8<--

bug#56805: guix import opam fails

2022-07-28 Thread pukkamustard
angola10 via Bug reports for GNU Guix writes: > Command: `guix import opam -r mirage-crypto-pk` Not a solution to this issue, but have a look at issue #49867 which contains patches to add mirage-crypto-pk. -pukkamustard > > Output: > > ``` > > Starting download of /tmp/guix-file.ZERar3 > Fro

bug#56805: guix import opam fails

2022-07-28 Thread Csepp
angola10 via Bug reports for GNU Guix writes: > Hello, > > The following opam package import fails > > Command: `guix import opam -r mirage-crypto-pk` > > Output: > > ``` > > Starting download of /tmp/guix-file.ZERar3 > From > https://github.com/mirage/mirage-crypto/releases/download/v0.10.6/m

bug#56805: guix import opam fails

2022-07-27 Thread angola10 via Bug reports for GNU Guix
Hello, The following opam package import fails Command: `guix import opam -r mirage-crypto-pk` Output: ``` Starting download of /tmp/guix-file.ZERar3 From https://github.com/mirage/mirage-crypto/releases/download/v0.10.6/mirage-crypto-0.10.6.tbz... following redirection to `https://objects.g