Subject: Re: [bug#51493] [PATCH 1/5] import: pypi: Allow imports of a specific version.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Fri, 12 Nov 2021 11:49:56 +0100

Simon,

On 2021-11-12 11:18, zimoun wrote:
> …as here.  Is doubling ’@’ mandatory for technical reasons?  Because
> usually, Guix uses simple ’@’ when referring to a specific version.

@ is special in Texinfo:

>> @example

'@@' encodes a literal '@'.

Kind regards,

T G-R

Sent from a Web browser.  Excuse or enjoy my brevity.