summaryrefslogtreecommitdiff
path: root/math (follow)
Commit message (Expand)AuthorAgeFilesLines
* 1) Remove Xpm, and also remove dependenciesMaho Nakata2004-10-242-10/+3
* Depends on newer libpng.Maho Nakata2004-10-241-1/+1
* Avoid the use of != statements in ports MakefileMaho Nakata2004-10-242-2/+10
* Update to 1.2.4. This is a bugfix/minor feature enhancement release:Christian Weisgerber2004-10-233-3/+5
* 1) fix build after changes to make(1) on FreeBSD >= 5.x.Maho Nakata2004-10-193-159/+192
* Forgot to add pkg-message.inMaho Nakata2004-10-191-0/+12
* 1) fix build after changes to make(1) on FreeBSDMaho Nakata2004-10-193-21/+14
* USE_MPI->WITH_MPI and other fixMaho Nakata2004-10-191-3/+1
* 1) Adding missing symbols in the libraryMaho Nakata2004-10-194-25/+51
* Adding newline at the end of filesMaho Nakata2004-10-194-4/+4
* Fix package build.Kirill Ponomarev2004-10-161-1/+1
* o) Fix error in package list (use of rm).Lars Koeller2004-10-161-1/+1
* Unbreak by using gcc-3.3.Thierry Thomas2004-10-163-107/+107
* Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik2004-10-165-0/+598
* - Update to 0.3.5Pav Lucistnik2004-10-158-36/+16
* Update from 5.1.16 -> 5.1.17Lars Koeller2004-10-143-12/+11
* Update to 0.401Kirill Ponomarev2004-10-145-23/+27
* Update to 1.72.Anton Berezin2004-10-132-3/+3
* - Update to 2.0.0Pav Lucistnik2004-10-123-926/+858
* - Bump USE_GCC to 3.4 to match cln and unbreakPav Lucistnik2004-10-122-7/+3
* Update to 1.1Mathieu Arnold2004-10-122-3/+3
* Update to version 2004.10.04Kirill Ponomarev2004-10-128-287/+417
* Updated to 1.04Sergey Skvortsov2004-10-122-3/+3
* - Fix typos (omitted $'s)Sergei Kolobov2004-10-122-36/+33
* Update to 2.30.Mark Linimon2004-10-124-14/+9
* 1) fix plist: test builds show, that 0.6.3 configure fails to detectMark Linimon2004-10-122-1/+12
* Upgrade to 4.3.Thierry Thomas2004-10-123-49/+41
* - Upgrade to 1.42;Thierry Thomas2004-10-115-127/+64
* Play nice with new GCC, and unbreak the build.Alexey Dokuchaev2004-10-082-7/+73
* Hack to make pari compile again on 5.3 prior to releaseAde Lovett2004-10-042-1/+21
* Increase USE_GCC to 3.4 for those ports which compile with it.Kris Kennaway2004-09-306-6/+6
* This port compiles correctly with GCL.Mark Murray2004-09-281-4/+2
* Now builds on amd64Kris Kennaway2004-09-281-4/+0
* make replaced the defined command by our ${ARCH}.Thierry Thomas2004-09-274-19/+21
* BROKEN on 5.x: Broken by changes to make(1)Kris Kennaway2004-09-262-2/+14
* BROKEN on 5.x: Does not compileKris Kennaway2004-09-261-1/+7
* BROKEN on 5.x: Does not compileKris Kennaway2004-09-262-0/+8
* BROKEN on 5.x: Configure failsKris Kennaway2004-09-261-1/+7
* Unbreak with GCC 3.4.2.Joe Marcus Clarke2004-09-203-4/+37
* BROKEN: Does not compileKris Kennaway2004-09-191-0/+2
* BROKEN on 5.x: Does not compileKris Kennaway2004-09-182-1/+11
* BROKEN on 5.x: Does not compileKris Kennaway2004-09-184-2/+22
* Fix the build with GCC 3.4.2.Joe Marcus Clarke2004-09-065-0/+66
* Update to 0.5.5.Mark Linimon2004-09-032-3/+3
* Update to version 0.9.14Kirill Ponomarev2004-09-033-4/+10
* Fix build with gcc 3.4Tilman Keskinoz2004-09-021-0/+19
* Update to 0.0.5Tilman Keskinoz2004-09-023-6/+6
* Fix build 5-STABLEMaho Nakata2004-09-022-0/+31
* type -> archMaho Nakata2004-09-022-6/+6
* ad hoc fix for 5-STABLE, having CPUMaho Nakata2004-09-012-0/+16