Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
rP430173
Actions

Description

Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.

Details

Provenance

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

head/

math/

coq/

files/

rP430173

head/math/coq/Makefile

head/math/coq/distinfo

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

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

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

Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.rP430173Actions

Description

Details

Changes (6)

rP430173

head/math/coq/Makefile

head/math/coq/distinfo

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

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

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

head/math/coq/pkg-plist

Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
rP430173
Actions