NUGET LIBRARY
Boogie.ExecutionEngine
Official package-registry history. This page does not infer support or EOL from release activity.
- Versions indexed
- 7
- Latest version activity
- 3.5.7
- Latest registry signal
- Published
- Last synchronized
- 12 Sep 2026
Authoritative registry
Version entries link to the official registry catalogue event that supplied the record.
Open package on NuGet ↗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.
| Version | Registry event | Signal | Evidence |
|---|---|---|---|
| 3.5.7 | 26 Jul 2026 | PUBLISHED | Official event ↗ |
| 3.5.6 | 10 Dec 2025 | PUBLISHED | Official event ↗ |
| 3.5.5 | 7 Aug 2025 | PUBLISHED | Official event ↗ |
| 3.5.4 | 26 Jun 2025 | PUBLISHED | Official event ↗ |
| 3.5.3 | 13 May 2025 | PUBLISHED | Official event ↗ |
| 3.5.2 | 28 Apr 2025 | PUBLISHED | Official event ↗ |
| 3.5.1 | 12 Mar 2025 | PUBLISHED | Official event ↗ |