On 2020-09-17 16:38, Ben Franksen wrote:
> Also note that the "context" in a contexted patch usually
> consists of negated patches (we have to walk backwards along the history
> to reach the patch we reference).
Sorry, this is wrong. In fact, all contexted patches contain only
positive prims. We
Am 04.02.20 um 16:22 schrieb Henning Thielemann:
> http://darcs.net/ says:
>
> Service Temporarily Unavailable
>
> The server is temporarily unable to service your request due to
> maintenance downtime or capacity problems. Please try again later.
Hi Henning
it works for me (just tested).
Am 22.01.19 um 15:19 schrieb Henning Thielemann:
> It is public. You may run the 'cabal' command above or access it directly:
> https://github.com/nikita-volkov/QuickCheck-GenT
Thanks. I have created http://bugs.darcs.net/issue2617 and also sent a
fix, see http://bugs.darcs.net/patch1790.
On 08/14/2018 04:37 PM, Henning Thielemann wrote:
> On Tue, 14 Aug 2018, Henning Thielemann wrote:
>
>> I cloned a darcs repository lazily
>
> $ darcs get --lazy http://hub.darcs.net/thielema/lapack
>
>> and then wanted to pull the unfetched patches via the hint from [1]:
>>
>> $ darcs log
On 08/14/2018 04:37 PM, Henning Thielemann wrote:
> On Tue, 14 Aug 2018, Henning Thielemann wrote:
>
>> I cloned a darcs repository lazily
>
> $ darcs get --lazy http://hub.darcs.net/thielema/lapack
>
>> and then wanted to pull the unfetched patches via the hint from [1]:
>>
>> $ darcs log
On 04/10/2018 08:34 AM, Stephen J. Turnbull wrote:
> Ben Franksen writes:
> > Am 29.03.2018 um 10:08 schrieb Stephen J. Turnbull:
>
> > Internally we do use references, similar to git (we refer to patches,
> > inventories, and trees via content hash). But in contrast to git, these
> > are not
On 03/20/2018 10:33 AM, Stephen J. Turnbull wrote:
[about git's message "you are in 'detached HEAD' state..."]
> > > But to get that message you need to explicitly checkout a commit that
> > > is not the target of a branch ref.
> >
> > A tag, for instance.
>
> Yes. I guess that a lot of
On 08.08.2017 18:58, Guillaume Hoffmann wrote:
> * let let us see if we can skip this step and use darcsden directly...
I agree that it makes more sense to go forward at this point, rather
than trying to fix the ancient roundup stuff.
> * the main issue with darcsden is that there is no way of