| 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 # - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- 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
No package information for this port in our database #- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- 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
- pkg-message: #
- 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
|
