Diffusion FreeBSD ports repository rP416799

math/why3-spark: Update COMMENT
rP416799
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/why3-spark: Update COMMENT

Details

Provenance

Authored on

Parents

rP416798: math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)

Branches

Unknown

Tags

Unknown

Event Timeline

marino committed rP416799: math/why3-spark: Update COMMENT.Jun 12 2016, 1:11 PM

Changes (1)

Path

Size

head/

math/

why3-spark/

rP416799

head/math/why3-spark/Makefile

Loading...