wip/lean4-git 4.33.1 NetBSD

Programming language for theorem proving

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
Port added: 2026-08-16
Last update: 2026-08-28
Commit: 640d8cbf61
License: apache-2.0
Categories: wip, math

Description

Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types.

In the other systems

System

Port

Version

NetBSD

wip/lean4-git

4.33.1

FreeBSD

math/lean4

4.35.0

HardenedBSD

math/lean4

4.34.1

GhostBSD

math/lean4

4.34.0

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/lean4-git && make install clean

Dependencies

Run dependencies 5

No port depends on this one.

Commit history 4

Date Commit Credits Log message

2026-08-28 640d8cbf61 Thomas Klausner lean4-git: reduce allocations between fork + exec

2026-08-27 2db1bb11a9 Thomas Klausner lean4-git: update PLIST

2026-08-21 2b177c232a ci4ic4 Update lean4-git to lean4-4.33.1nb20260821 lean actial version 4.35.0-pre, commit f6c7d68c7fc27e3b60585f30740c7d141d3c5b36, Release While here, allow for lake to actually link under NetBSD.

2026-08-16 8c1400f31d Thomas Klausner lean4-git: add new package for tracking upstream git