Diffusion FreeBSD ports repository ffabfd66c7b8

math/lean4: update 4.30.0 → 4.31.0
ffabfd66c7b8
Actions

Description

math/lean4: update 4.30.0 → 4.31.0

Details

Provenance

yuri	Authored on Wed, Jun 17, 1:50 AM

Parents

R11:c2c2167ee66c: deskutils/just: update 1.52.0 → 1.53.0

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:ffabfd66c7b8: math/lean4: update 4.30.0 → 4.31.0 (authored by yuri).Wed, Jun 17, 3:19 AM

Changes (9)

Path

Size

math/

lean4/

Makefile

distinfo

files/

patch-src_CMakeLists.txt

patch-src_runtime_io.cpp

patch-src_runtime_thread.h

patch-stage0_src_CMakeLists.txt

patch-stage0_src_runtime_io.cpp

patch-stage0_src_runtime_thread.h

pkg-plist

R11:ffabfd66c7b8

View Options

math/lean4/Makefile

View Options

math/lean4/distinfo

View Options

math/lean4/files/patch-src_CMakeLists.txt

View Options

math/lean4/files/patch-src_runtime_io.cpp

View Options

math/lean4/files/patch-src_runtime_thread.h

View Options

math/lean4/files/patch-stage0_src_CMakeLists.txt

View Options

math/lean4/files/patch-stage0_src_runtime_io.cpp

View Options

math/lean4/files/patch-stage0_src_runtime_thread.h

View Options

math/lean4: update 4.30.0 → 4.31.0ffabfd66c7b8Actions

Description

Details

Event Timeline

Changes (9)

R11:ffabfd66c7b8

math/lean4/Makefile

math/lean4/distinfo

math/lean4/files/patch-src_CMakeLists.txt

math/lean4/files/patch-src_runtime_io.cpp

math/lean4/files/patch-src_runtime_thread.h

math/lean4/files/patch-stage0_src_CMakeLists.txt

math/lean4/files/patch-stage0_src_runtime_io.cpp

math/lean4/files/patch-stage0_src_runtime_thread.h

math/lean4/pkg-plist

math/lean4: update 4.30.0 → 4.31.0
ffabfd66c7b8
Actions