Published package / CLIR

isabelle.order

v0.1.0

Правила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление

VersioncontentHashSize
0.1.0sha256:ea325ae08c02…42 KB

There is one version: the corpus has not yet published a second edition of any package. The list stays a list on purpose — there will be no “publication date” column here, time never enters the artefacts.