Опубликованный пакет / CLIR
logic.comparisons
v0.1.0Сопоставления систем: общий фрагмент, различие принципов и правил, условие переноса метода, отношение ограничения, двойной отрицательный перевод
Импортирует
| Пакет | Версия | contentHash связи | |
|---|---|---|---|
| logic.calculi | 0.1.0 | sha256:0388c7183d4e… | |
| logic.classical | 0.1.0 | sha256:86d12c81b1f9… | |
| logic.core | 0.1.0 | sha256:76c336ef0ac3… | |
| logic.intuitionistic | 0.1.0 | sha256:23d3ab77e518… | |
| logic.methods | 0.1.0 | sha256:a3f78bea7c22… | |
| logic.semantics | 0.1.0 | sha256:ce5576f4f766… | |
| logic.syntax | 0.1.0 | sha256:aa44d5553d6d… |
Связь закрепляется по contentHash, а не по имени версии: мир программы замкнут lock-ом. Метка «разошёлся с байтами» означает, что записанный в пакете хэш зависимости не совпал с её нынешними байтами — стрелка есть, но она протухла.
Импортируют этот пакет
Никто.