| Type | DIST |
|---|---|
| File | tlatools-1.1.0.jar.asc |
| Size | 485 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 92abd4adf77a0d6b28627ba77db3e45d6c014354d65c360dacf237bab13ca6e3ae4f56f32dfbc5cdddae52f0d0d5e34549d1fbfde98855f93cbebb729a6262ac |
| SHA512 | ae0e239d2cb7c7f64e918cbd516065e7bf5e4a5b90bacb7d6bd1ddd8fbbcc7e2414d04fd4fa87dd7067a5ba441303a3f5077c72f18b11759c3467e50a94b5a78 |