mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-07 11:49:40 +00:00
Code Issues Releases Activity
freebsd-ports/math/why3-spark
History
John Marino 1e309a9f9c math/why3-spark: Try to fix build on F10 
CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc".  FreeBSD 10 doesn't like that.
2016-06-13 20:04:52 +00:00
..
distinfo
math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)
2016-06-12 13:09:22 +00:00
Makefile
math/why3-spark: Try to fix build on F10
2016-06-13 20:04:52 +00:00
pkg-descr
math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)
2016-06-12 13:09:22 +00:00
pkg-plist
math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)
2016-06-12 13:09:22 +00:00