nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-24 21:14:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
e662338182
nixpkgs/pkgs/applications/science/logic/tlaplus
History
Michael Gregson 9269d5823d 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
2023-06-30 16:09:41 -07:00
..
default.nix add myself to the maintainers list 2023-05-10 01:30:45 -05:00
tlaplus18.nix tlaplus18: init at 1.8.0 2023-06-30 16:09:41 -07:00
tlaps.nix
toolbox.nix