diff options
| author | Felix Buehler <account@buehler.rocks> | 2021-08-16 21:54:22 +0200 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2021-08-16 21:54:22 +0200 |
| commit | 8ad1a7859a426331672ff7f85f1832c17a3ecc85 (patch) | |
| tree | f471ce24f0d56986d8613744fd6e7c3e681308e5 /pkgs/applications/science/logic/tlaplus/toolbox.nix | |
| parent | 44193bd5ccba96e784a9ec46679d188da6e8a9c9 (diff) | |
| download | nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar.gz nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar.bz2 nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar.lz nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar.xz nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.tar.zst nixpkgs-8ad1a7859a426331672ff7f85f1832c17a3ecc85.zip | |
tlaps: deprecate phases
Diffstat (limited to 'pkgs/applications/science/logic/tlaplus/toolbox.nix')
0 files changed, 0 insertions, 0 deletions