Published package / CLIR
mathlib.divisibility
v0.1.0Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
Imports
| Package | Version | contentHash of the edge | |
|---|---|---|---|
| arxo.divisibility | 0.1.0 | sha256:6341ef8a503b… | |
| mathlib.divisibility.permissions | 0.1.0 | sha256:2ed65fa361d5… |
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.