StorePath: /nix/store/mbmv3gv9sq0xnv28h05lhmfma0im4z3k-tla-plus-1.7.4
URL: nar/mbmv3gv9sq0xnv28h05lhmfma0im4z3k-sha256-xQpTsnlFYSibdId_08e2VZ9pJu6vl161hFv0g6rZINc_.nar.zst
Compression: zstd
FileHash: sha256:c9eacf39d2b9156f2ac812e4705d3d1420e5c79fac62536d1cbf1a4695a8c2af
FileSize: 2172667
NarHash: sha256-xQpTsnlFYSibdId+08e2VZ9pJu6vl161hFv0g6rZINc=
NarSize: 2296496
References: w9vni9442rq2fg7mn9j7jwjwp8p8zsvb-openjdk-17-17.0.13
Deriver: z3kk8896ra7q0qz04shzwp3l1pnvw05n-tla-plus-1.7.4.drv