Diffusion FreeBSD ports repository rP518999

3.1.0
rP518999
Actions

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

Description

math/boolector: Update 3.0.0-239 -> 3.1.0

Reported by: portscout

Details

Provenance

yuri	Authored on

Parents

rP518998: math/cadical: Add -fPIC due to the user requirement

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP518999: math/boolector: Update 3.0.0-239 -> 3.1.0.Dec 4 2019, 7:18 AM

Changes (5)

Path

Size

head/

math/

boolector/

Makefile

distinfo

files/

patch-CMakeLists.txt

patch-src_CMakeLists.txt

pkg-plist

rP518999

View Options

head/math/boolector/Makefile

View Options

head/math/boolector/distinfo

View Options

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

View Options

head/math/boolector/files/patch-src_CMakeLists.txt

View Options

head/math/boolector/pkg-plist

math/boolector: Update 3.0.0-239 -> 3.1.0rP518999Actions

Description

Details

Event Timeline

Changes (5)

rP518999

head/math/boolector/Makefile

head/math/boolector/distinfo

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

head/math/boolector/files/patch-src_CMakeLists.txt

head/math/boolector/pkg-plist

math/boolector: Update 3.0.0-239 -> 3.1.0
rP518999
Actions