guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#47789] [PATCH 0/6] Add TLA+ Tools (tla2tools)


From: Mike Gerwitz
Subject: [bug#47789] [PATCH 0/6] Add TLA+ Tools (tla2tools)
Date: Thu, 15 Apr 2021 21:29:42 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)

Sorry, I sent the new series in reply to the original cover. :(

-- 
Mike Gerwitz

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]