Diffusion FreeBSD ports repository rP430124

Update to 8.5.
rP430124
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

Update to 8.5.

Details

Provenance

hrs	Authored on

Parents

rP430123: - Fix build on FreeBSD 9

Branches

Unknown

Tags

Unknown

Event Timeline

hrs committed rP430124: Update to 8.5..Dec 31 2016, 2:32 PM

Changes (6)

Path

Size

head/

math/

coq/

patch-Makefile.build

patch-configure.ml

rP430124

head/math/coq/Makefile

Loading...

head/math/coq/distinfo

Loading...

head/math/coq/files/

Loading...

head/math/coq/files/patch-Makefile.build

Loading...

head/math/coq/files/patch-configure.ml

Loading...

head/math/coq/pkg-plist

Loading...