aboutsummaryrefslogtreecommitdiff
path: root/math
Commit message (Expand)AuthorAgeFilesLines
* - Add staging supportPawel Pekala2014-06-072-13/+12
* * Better GUI support [1]Maho Nakata2014-06-072-2/+5
* - Add staging supportPawel Pekala2014-06-061-13/+8
* Add staging support, allow it as normal userPawel Pekala2014-06-062-5/+4
* Add staging supportPawel Pekala2014-06-061-9/+5
* - Doesn't actually build with OpenJDK 1.7, so mark it as 1.6 onlySteve Wills2014-06-061-1/+1
* - Fix build with OpenJDK 1.7Steve Wills2014-06-061-0/+2
* - Use /usr/bin/unzip for zip files extraction (part 2)Alex Kozlov2014-06-062-4/+4
* Update to 3.8.1Maho Nakata2014-06-052-4/+3
* Miscellaneous functions and classes to facilitate programming.Martin Wilke2014-06-054-0/+28
* A class of units of physical quantities for Ruby.Martin Wilke2014-06-054-0/+32
* Add two new math ports: why3 and why3-gplJohn Marino2014-06-0413-0/+599
* - Use new LIB_DEPENDS syntaxDmitry Marakasov2014-06-031-2/+2
* - Update to 0.29Sunpoet Po-Chuan Hsieh2014-06-032-3/+3
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stageJohn Marino2014-06-023-30/+25
* Add new Ocaml port: math/ocaml-zarithJohn Marino2014-06-026-0/+95
* Support stagingCarlo Strub2014-06-021-4/+3
* Maintainer can no longer maintain these portsAntoine Brodin2014-06-021-1/+1
* - Update to 1.3.1.Stephen Montgomery-Smith2014-06-022-5/+3
* math/jama: use equivalent UNZIP_CMD instead of EXTRACT_CMDJohn Marino2014-06-011-2/+2
* - Fix various distinfo errorsAlex Kozlov2014-05-311-1/+0
* Stage support.Tim Bishop2014-05-311-2/+2
* - Stage support [1]Wen Heping2014-05-313-199/+7
* - Stage support [1]Wen Heping2014-05-312-22/+3
* - Replace python-2.7.5 with version 2.7.6. Thus the port should now buildStephen Montgomery-Smith2014-05-3113-137/+1105
* - Add license.Stephen Montgomery-Smith2014-05-301-0/+2
* - Convert USE_BZIP2 to USESDmitry Marakasov2014-05-301-3/+4
* Update math/R-cran-gss to 2.1-0.David Naylor2014-05-302-4/+3
* Stage support.Kevin Lo2014-05-302-12/+13
* Update to version 1.8.1.Dmitry Sivachenko2014-05-302-9/+8
* math/spooles*: specify post-extraction with ${TAR}John Marino2014-05-291-1/+1
* - Update to 2.32 [1]Nicola Vitale2014-05-287-88/+235
* Update to GAP 4.7.5Johan van Selst2014-05-282-12/+13
* Remove expired ports:Rene Ladan2014-05-275-202/+0
* jmusic, jeuclid: USES+= zipJohn Marino2014-05-271-0/+1
* - StagifyDmitry Marakasov2014-05-272-5/+6
* Do not overwrite USESBaptiste Daroussin2014-05-271-1/+1
* - Switch to USES=libtool, drop .la filesDmitry Marakasov2014-05-272-3/+7
* - Update to 1.0.4.Stephen Montgomery-Smith2014-05-262-3/+3
* - Update to 1.0.5.Stephen Montgomery-Smith2014-05-263-15/+3
* Replace lang/lua with the new lang/lua51Baptiste Daroussin2014-05-261-1/+1
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-2623-37/+22
* - Stage supportMartin Wilke2014-05-262-220/+2
* - Stage supportMartin Wilke2014-05-262-51/+2
* Convert to USES=dos2unixBaptiste Daroussin2014-05-265-7/+7
* Multiple ports: reset maintainersEitan Adler2014-05-262-2/+2
* - Pass maintainership to submitterSunpoet Po-Chuan Hsieh2014-05-251-1/+1
* - Remove extraneous files (created by gcc but not by clang).Stephen Montgomery-Smith2014-05-252-8/+10
* - Update to 20140513Sunpoet Po-Chuan Hsieh2014-05-243-27/+37
* - Pass maintainership to perl@Wen Heping2014-05-223-3/+3