Diffusion FreeBSD ports repository rP475085

New port: math/lean: Theorem prover
rP475085
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Mute Notifications
Flag For Later
Award Token

Description

New port: math/lean: Theorem prover

Details

Provenance

yuri	Authored on

Parents

rP475084: www/qt5-webengine: Add sndio support

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP475085: New port: math/lean: Theorem prover.Jul 22 2018, 5:58 AM

Changes (9)

Path

Size

head/

math/

rP475085

View Options

head/math/Makefile

View Options

head/math/lean/

View Options

head/math/lean/Makefile

View Options

head/math/lean/distinfo

View Options

head/math/lean/files/

View Options

head/math/lean/files/patch-CMakeLists.txt

View Options

head/math/lean/files/patch-util_path.cpp

View Options

head/math/lean/pkg-descr

View Options

New port: math/lean: Theorem proverrP475085Actions

Description

Details

Event Timeline

Changes (9)

rP475085

head/math/Makefile

head/math/lean/

head/math/lean/Makefile

head/math/lean/distinfo

head/math/lean/files/

head/math/lean/files/patch-CMakeLists.txt

head/math/lean/files/patch-util_path.cpp

head/math/lean/pkg-descr

head/math/lean/pkg-plist

New port: math/lean: Theorem prover
rP475085
Actions