kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/why3-gpl
History
John Marino 80ccba4850 math/why3-gpl: upgrade version 2014 => 2015 
While here, decouple this port from math/why3.  They are diverging fast.
This port is needed to build SPARK 2015 binaries which will be installed
by the lang/spark port (rather than building from source)
2015-06-26 22:13:46 +00:00
..
files math/why3-gpl: upgrade version 2014 => 2015 2015-06-26 22:13:46 +00:00
distinfo math/why3-gpl: upgrade version 2014 => 2015 2015-06-26 22:13:46 +00:00
Makefile math/why3-gpl: upgrade version 2014 => 2015 2015-06-26 22:13:46 +00:00
pkg-descr
pkg-plist math/why3-gpl: upgrade version 2014 => 2015 2015-06-26 22:13:46 +00:00