aboutsummaryrefslogtreecommitdiff
path: root/math
Commit message (Expand)AuthorAgeFilesLines
* Add new port math/alt-ergo-spark (required by SPARK 2015)John Marino2015-06-284-0/+39
* math/why3: Release portJohn Marino2015-06-282-69/+48
* - Update to 2.8.0.Stephen Montgomery-Smith2015-06-263-23/+3
* - Update to 0.1.1.Stephen Montgomery-Smith2015-06-262-4/+3
* - Fix compatibility with c++11Dmitry Marakasov2015-06-264-20/+48
* math/why3-gpl: upgrade version 2014 => 2015John Marino2015-06-265-27/+90
* - Mark broken on FreeBSD 9.x:Dmitry Marakasov2015-06-261-0/+2
* - Mark BORKEN on 9.x (actually it's broken everywhere, but fatally on 9.x): d...Dmitry Marakasov2015-06-261-0/+2
* - Correct condition for BROKEN: && -> ||.Stephen Montgomery-Smith2015-06-241-1/+1
* - Fix library installationDmitry Marakasov2015-06-231-2/+3
* - Revert changes made in r370272, because they didn't fix anything.Stephen Montgomery-Smith2015-06-231-2/+8
* Convert to USES=jpegAntoine Brodin2015-06-229-17/+12
* - Update to 2.2.8.Stephen Montgomery-Smith2015-06-222-3/+3
* - Update to 2.3.1.Stephen Montgomery-Smith2015-06-222-3/+3
* - Update to 5.200.2Danilo Egea Gondolfo2015-06-223-4/+4
* math/pspp: 0.8.4 -> 0.8.5Kurt Jaeger2015-06-224-11/+12
* - Attempt to fix errors in http://beefy5.nyi.freebsd.org/data/101i386-default...Stephen Montgomery-Smith2015-06-221-8/+2
* Update to 1.4.3.Thierry Thomas2015-06-212-5/+4
* Update to 3.0609.Anton Berezin2015-06-192-4/+3
* - Fix build on i386Dmitry Marakasov2015-06-191-2/+10
* - Fix library installationDmitry Marakasov2015-06-181-2/+2
* - Strip binaryDmitry Marakasov2015-06-171-1/+4
* - Update to 2.8.2.Stephen Montgomery-Smith2015-06-152-3/+3
* - Update graphics/proj to 4.9.1Wen Heping2015-06-152-1/+2
* - Update to 1.0.0.Stephen Montgomery-Smith2015-06-142-3/+3
* - Update 1.0.7.Stephen Montgomery-Smith2015-06-142-3/+3
* - Update to 1.9.1Wen Heping2015-06-143-15/+24
* - Update WWWSunpoet Po-Chuan Hsieh2015-06-131-1/+1
* - Update to 0.09Sunpoet Po-Chuan Hsieh2015-06-133-18/+21
* Update GAP to 4.7.8Johan van Selst2015-06-132-4/+4
* - Update to 1.2-1TAKATSU Tomonari2015-06-132-5/+5
* - Update to 2.3-3TAKATSU Tomonari2015-06-132-3/+3
* - Update to 0.97TAKATSU Tomonari2015-06-132-4/+3
* - Update to 0.1-9TAKATSU Tomonari2015-06-133-6/+6
* Reset dhn's portsErwin Lansing2015-06-121-1/+1
* - Update to 6.1TAKATSU Tomonari2015-06-112-8/+7
* - Update to 0.5.200.1.0TAKATSU Tomonari2015-06-112-3/+3
* - Fix shebangsDmitry Marakasov2015-06-091-2/+2
* - Update to 1.2.0.Stephen Montgomery-Smith2015-06-082-5/+6
* Make ports using libtool treat elftoolchain's strip the same as GNU stripAntoine Brodin2015-06-081-2/+0
* - Add LICENSE_FILEDmitry Marakasov2015-06-071-1/+3
* - Switch to USES=autoreconfDmitry Marakasov2015-06-071-5/+2
* Mark BROKENAntoine Brodin2015-06-061-0/+2
* math/coinmp: update 1.8.1 -> 1.8.2Bartek Rutkowski2015-06-043-9/+9
* - Strip librariesDmitry Marakasov2015-06-041-1/+5
* - Strip libraryDmitry Marakasov2015-06-031-1/+4
* - Strip librariesDmitry Marakasov2015-06-031-1/+4
* - Add LICENSE_FILEDmitry Marakasov2015-06-031-2/+4
* - Add shells/bash as a build_depends.Stephen Montgomery-Smith2015-06-021-1/+2
* - Make user of port understand information about memory heirarchy needs toStephen Montgomery-Smith2015-06-023-2/+47
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-27 16:22:47 +0000