tla-plus 1.7.4

No description

x86_64-linux

field	value
license	unknown
maintainer	unknown
platforms	x86_64-linux
latest version	1.7.4
versions	1

Install

apm is the consumer CLI; add the registry, then install:

apr add https://aos.andyl.org/ --name andyl/main
apm install tla-plus

Dependencies (0)

No runtime dependencies recorded.

Required by (0)

No packages in this registry require it.

Versions

1.7.4

platform	store path	nar	closure	nar hash	download	source drv
x86_64-linux	`/nix/store/mbmv3gv9sq0xnv28h05lhmfma0im4z3k-tla-plus-1.7.4`	0 B	684.6 MiB		`mbmv3gv9sq0xnv28h05lhmfma0im4z3k`	`/nix/store/z3kk8896ra7q0qz04shzwp3l1pnvw05n-tla-plus-1.7.4.drv`

Raw metadata

name         tla-plus
description  No description
license      unknown
maintainer   unknown
sysroot      false

[[versions]]
version      1.7.4
  [x86_64-linux]
  store_path    /nix/store/mbmv3gv9sq0xnv28h05lhmfma0im4z3k-tla-plus-1.7.4
  nar_hash      
  nar_size      0
  closure_size  717887048
  source_drv    /nix/store/z3kk8896ra7q0qz04shzwp3l1pnvw05n-tla-plus-1.7.4.drv