Diffusion FreeBSD ports repository rP406962

math/why3-spark: Mark BROKEN (broken by ocaml changes)
rP406962
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/why3-spark: Mark BROKEN (broken by ocaml changes)

Details

Provenance

Authored on

Parents

rP406961: mail/mailagent: move regression tests to regression-test target

Branches

Unknown

Tags

Unknown

Event Timeline

marino committed rP406962: math/why3-spark: Mark BROKEN (broken by ocaml changes).Jan 23 2016, 8:18 AM

Changes (1)

Path

Size

head/

math/

why3-spark/

rP406962

head/math/why3-spark/Makefile

Loading...