| Port details |
- lean4-std Lean4: Std library
- 4.5.0.r1 math
 =0      4.5.0.r1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2024-01-16 10:48:12
- Last Update: 2024-04-08 19:18:43
- Commit Hash: 3306d7a
- License: APACHE20
- WWW:
- https://lean-lang.org/
- Description:
- Std library for Lean4, the math theorem prover.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- lean4-std>0:math/lean4-std
- No installation instructions:
- This port has been deleted.
- PKGNAME: lean4-std
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1705396087
SHA256 (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 2b2812f5b6f89ef4facc8d2bf09ecc33f5e9918f80573fa29662314102ca0455
SIZE (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 437646
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- lake : math/lean4
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_lean4-std
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Port Moves |
- port deleted on 2024-04-08
REASON: Removed: Lean4 doesn't yet support seperate library packages, although it should
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.5.0.r1
08 Apr 2024 19:18:43
 |
Yuri Victorovich (yuri) |
math/lean4-std: Removed |
4.5.0.r1
16 Jan 2024 10:45:01
|
Yuri Victorovich (yuri) |
math/lean4-std: New port: Lean4: Std library |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.