Diffusion FreeBSD ports repository rP542837

devel/fp16: Update g20181128 -> g20200514
rP542837
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

devel/fp16: Update g20181128 -> g20200514

Details

Provenance

yuri	Authored on

Parents

rP542836: multimedia/shotcut: update to 20.07.11

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed rP542837: devel/fp16: Update g20181128 -> g20200514.Jul 22 2020, 7:13 AM

Changes (2)

Path

Size

head/

devel/

fp16/

rP542837

head/devel/fp16/Makefile

Loading...

head/devel/fp16/distinfo

Loading...