diff options
| author | Michael Gregson <mgregson@gregson.io> | 2022-08-06 20:01:35 -0600 |
|---|---|---|
| committer | Michael Gregson <mgregson@conduit.financial> | 2023-06-30 16:09:41 -0700 |
| commit | 9269d5823d1b8ef09d2fe042d34716b294f6bcd2 (patch) | |
| tree | f80acfdac494aec7be3fe32753cbbb19077348a9 /pkgs/development/python-modules/rangehttpserver | |
| parent | a34f8c36727b8414af808f86b9aea265f841c089 (diff) | |
tlaplus18: init at 1.8.0
This is a pre-release of version 1.8 of TLA+. It adds, among other
things, a TLA+ REPL.
Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions