Diffusion FreeBSD ports repository rP339411

- Update coq to 8.4.3
rP339411
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

Update coq to 8.4.3
Enable stage support
Simplify options handling

Details

Provenance

Authored on

Parents

rP339410: - Update to 3935

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (3)

Path

Size

head/

math/

coq/

rP339411

head/math/coq/Makefile

Loading...

head/math/coq/distinfo

Loading...

head/math/coq/pkg-plist

Loading...