BlackTreeLifecycle intelligence
Evidence-linked product lifecycle intelligenceSUPPORT · SECURITY · RETIREMENT

NPM LIBRARY

@leanprover/infoview

Official package-registry history. This page does not infer support or EOL from release activity.

Versions indexed
33
Latest version activity
0.13.0
Latest registry signal
Published
Last synchronized
26 Sep 2026
Authoritative registry

Version entries link to the official registry catalogue event that supplied the record.

Open package on npm ↗
Lifecycle interpretation

Publication or deletion in a package registry is a distribution signal, not a promise of maintenance or security support. Any verified publisher EOL boundary remains in the main lifecycle catalogue.

Package-version activity

Newest official registry events first.

33 records
VersionRegistry eventSignalRelease notesEvidence
0.13.013 Apr 2026PUBLISHEDChecked, none publishedOfficial event ↗
0.12.013 Mar 2026PUBLISHEDChecked, none publishedOfficial event ↗
0.11.17 Mar 2026PUBLISHEDChecked, none publishedOfficial event ↗
0.11.026 Feb 2026PUBLISHEDChecked, none publishedOfficial event ↗
0.10.013 Oct 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.9.023 Sep 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.615 Sep 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.530 Apr 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.423 Apr 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.327 Mar 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.225 Feb 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.130 Jan 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.8.013 Jan 2025PUBLISHEDChecked, none publishedOfficial event ↗
0.7.95 Dec 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.717 Oct 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.617 Oct 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.516 Oct 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.416 Oct 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.322 Jul 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.220 Jun 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.119 Jun 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.7.07 May 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.4.517 Feb 2024PUBLISHEDChecked, none publishedOfficial event ↗
0.4.47 Dec 2023PUBLISHEDChecked, none publishedOfficial event ↗
0.4.37 Apr 2023PUBLISHEDChecked, none publishedOfficial event ↗
0.4.215 Jan 2023PUBLISHEDChecked, none publishedOfficial event ↗
0.4.2-alpha.110 Jan 2023PUBLISHEDChecked, none publishedOfficial event ↗
0.4.1-alpha.210 Jan 2023PUBLISHEDChecked, none publishedOfficial event ↗
0.4.15 Dec 2022PUBLISHEDChecked, none publishedOfficial event ↗
0.4.01 Dec 2022PUBLISHEDChecked, none publishedOfficial event ↗
0.3.024 Nov 2022PUBLISHEDChecked, none publishedOfficial event ↗
0.2.015 Sep 2022PUBLISHEDChecked, none publishedOfficial event ↗
0.1.026 Jul 2022PUBLISHEDChecked, none publishedOfficial event ↗