Published package / CLIR
logic.intuitionistic
v0.1.0The Open Logic Text
Imports
| Package | Version | contentHash of the edge | |
|---|---|---|---|
| logic.calculi | 0.1.0 | sha256:0388c7183d4e… | |
| logic.classical | 0.1.0 | sha256:86d12c81b1f9… | |
| logic.core | 0.1.0 | sha256:76c336ef0ac3… | |
| logic.methods | 0.1.0 | sha256:a3f78bea7c22… | |
| logic.semantics | 0.1.0 | sha256:ce5576f4f766… | |
| logic.syntax | 0.1.0 | sha256:aa44d5553d6d… |
An edge is pinned by contentHash, not by a version name: the world of a program is closed by the lock. The mark “diverged from the bytes” means the dependency hash recorded in the package did not match its current bytes — the arrow is there, but it has gone stale.