kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/why3-spark
History
John Marino f04fb356d7 math/why3-spark: Mark BROKEN (broken by ocaml changes)
2016-01-23 08:18:24 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist