Release notes

HOL Guard v3.60.0a35

Preview

HOL Guard v3.60.0a35, released November 8, 2026, is a preview release with 5 fixes and 2 other changes. Highlights: Import Span through the map module; Quote each line a rename touches.

Changes since the previous release on this channel: alpha/v3.60.0a34alpha/v3.60.0a35

5 fixed · 2 other

Published Original GitHub release for alpha/v3.60.0a35

Key facts

Version
v3.60.0a35
Channel
Preview
Published
Previous release
alpha/v3.60.0a34

Documented changes

7 typed entries

Verified contributors

1 verified contributor · 1 credit

Attribution coverage

attribution complete; history inventory partial.

Scope

Guard v3.60.0a35 is a preview release published 2026-11-08. Upstream documents: Guard 3.60.0a35 is an opt-in prerelease cut from 69e3453. Stable installations remain on the stable channel. 6 commits • 1 contributor since Guard 3.60.0a34. Its comparison base is alpha/v3.60.0a34. It includes 1 verified contribution delivery with public evidence links.

Changes

Fixed

5

Other changes

2

Upgrade and compatibility

None documented.

Compare with the previous release

Predecessor on the same channel: alpha/v3.60.0a34

Verified contributors

Credits derive from public pull-request authorship, verified commit authorship, or verified co-authorship — never from thanks text or release metadata. Each distinct contributor is listed once; the evidence ledger paginates every published credit record.

Contributors

Evidence ledger1 credit