Diffusion FreeBSD ports repository rP416798

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

Tags

None

Referenced Files

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rP416797: devel/liblognorm: Update version 1.1.3=>1.1.4

Branches

Unknown

Tags

Unknown

Event Timeline

marino committed rP416798: math/why3-spark: Upgrade version 2015 => 2016 (unbreaks).Jun 12 2016, 1:09 PM

Changes (7)

Path

Size

head/

math/

why3-spark/

patch-Makefile.in

patch-src_tools_cpulimit.c

rP416798

head/math/why3-spark/Makefile

Loading...

head/math/why3-spark/distinfo

Loading...

head/math/why3-spark/files/

Loading...

head/math/why3-spark/files/patch-Makefile.in

Loading...

head/math/why3-spark/files/patch-src_tools_cpulimit.c

Loading...

head/math/why3-spark/pkg-descr

Loading...

head/math/why3-spark/pkg-plist

Loading...