mirror/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-29 07:32:58 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
master
nixpkgs/pkgs/applications/science/logic/tlaplus
History
R. Ryantm 7e83ec1606 tlaplus: 1.7.3 -> 1.7.4
2024-08-14 08:30:57 +00:00
..
default.nix tlaplus: 1.7.3 -> 1.7.4 2024-08-14 08:30:57 +00:00
tlaplus18.nix treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
tlaps.nix
toolbox.nix