Re: are gnutls binaries available in guix?

2020-08-13 Thread Giovanni Biscuolo
Hi Tobias Tobias Geerinckx-Rice writes: [...] > ‘guix environment gnutls’ doesn't provide gnutls; ‘gnu environment > --ad-hoc gnutls’ does. Oh my… "guix environment " provides an augmented environment needed TO BUILD , it DOES NOT add the package to the environment: I should self-repeat that

Re: are gnutls binaries available in guix?

2020-08-13 Thread Tobias Geerinckx-Rice
Gio', Giovanni Biscuolo 写道: I see gnutls package have 3 outputs: out (default) That's the one. I tried "guix environment gnutls" and ""guix environment gnutls:debug" but I cannot find the binaries. ‘guix environment gnutls’ doesn't provide gnutls; ‘gnu environment --ad-hoc gnutls’ does.

are gnutls binaries available in guix?

2020-08-13 Thread Giovanni Biscuolo
Hello guix, please how can I install the binary utilities included in gnutls? I see gnutls package have 3 outputs: out (default), debug and doc: I tried "guix environment gnutls" and ""guix environment gnutls:debug" but I cannot find the binaries. Any hint please? Thanks, Gio' -- Giovanni

Re: Certificate problem with curl, though icecat works

2020-08-13 Thread Giovanni Biscuolo
Hi Totor, Todor Kondić writes: [...] >> I'm going to open a bug report upstream (gnutls), thanks for your >> report. This is the bug report https://gitlab.com/gnutls/gnutls/-/issues/1062 I checked other OCSP issues and I did not understand if this is already fixed in latest GnuTLS releases

Re: Problems with McCLIM (Common Lisp)

2020-08-13 Thread Guillaume Le Vaillant
Hi, Ricardo Wurmus skribis: > I’d like to play with McCLIM, but I don’t know enough about Common Lisp > to understand how to launch the examples. When I packaged McCLIM, I only made the packages for the main McCLIM library. IIRC the examples also use some extra extensions that I have not

Re: Certificate problem with curl, though icecat works

2020-08-13 Thread Todor Kondić
‐‐‐ Original Message ‐‐‐ On Thursday, 13 August 2020 08:55, Giovanni Biscuolo wrote: > Giovanni Biscuolo g...@xelera.eu writes: > > [...] > > > > $ curl > > > https://actorws.epa.gov/actorws/chemIdentifier/v01/resolve.json?identifier=MKXZASYAUGDDCJ-NJAFHUGGSA-N > > > curl: (60) server

Re: Why the static library will delete after the package installation of dlib?

2020-08-13 Thread Efraim Flashner
On Wed, Aug 12, 2020 at 05:48:29PM +0430, Hamzeh Nasajpour wrote: > Hi, > > I'm using `dlib` in a project and I found that the static library will be > deleted in the `delete-static-library` phase in the package installation. > Why? > >

Re: Certificate problem with curl, though icecat works

2020-08-13 Thread Giovanni Biscuolo
Giovanni Biscuolo writes: [...] >> $ curl >> https://actorws.epa.gov/actorws/chemIdentifier/v01/resolve.json?identifier=MKXZASYAUGDDCJ-NJAFHUGGSA-N >> >> curl: (60) server certificate verification failed. CAfile: >> /home/user/.guix-profiles/profile/etc/ssl/certs/ca-certificates.crt CRLfile: