[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47789: [PATCH 0/6] Add TLA+ Tools (tla2tools)
From: |
Ludovic Courtès |
Subject: |
bug#47789: [PATCH 0/6] Add TLA+ Tools (tla2tools) |
Date: |
Wed, 05 May 2021 17:02:30 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi Mike,
I pushed the whole patch series as
f30e8f29096e3ae2a4de689690daf5fa27a8c91b! \o/
For the tla2tools patch, I added the patch to gnu/local.mk. I also had
to change the hash of the checkout, because I wouldn’t get the same one.
There are two possibilities: either upstream changed the tag upstream,
or you were looking at a same-named store item actually coming from a
different commit. Please take a look and let us know if anything’s
amiss.
Thanks for this heroic effort, and apologies for the delay!
Ludo’.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#47789: [PATCH 0/6] Add TLA+ Tools (tla2tools),
Ludovic Courtès <=