nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-21 05:04:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
8affa68af9
nixpkgs/pkgs/applications/science/logic/tlaplus
History
Bobby Rong f35d1b8568
Merge pull request #160332 from florentc/tlaps 
tlaps: 1.4.3 -> 1.4.5
2022-02-28 16:33:42 +08:00
..
default.nix
tlaps.nix tlaps: 1.4.3 -> 1.4.5 2022-02-16 15:19:51 +01:00
toolbox.nix treewide: switch all desktop file generators to new API 2022-02-25 13:40:38 -08:00