summaryrefslogtreecommitdiff
path: root/math (unfollow)
Commit message (Expand)AuthorFilesLines
2004-10-241) Remove Xpm, and also remove dependenciesMaho Nakata2-10/+3
2004-10-24Depends on newer libpng.Maho Nakata1-1/+1
2004-10-24Avoid the use of != statements in ports MakefileMaho Nakata2-2/+10
2004-10-23Update to 1.2.4. This is a bugfix/minor feature enhancement release:Christian Weisgerber3-3/+5
2004-10-191) fix build after changes to make(1) on FreeBSD >= 5.x.Maho Nakata3-159/+192
2004-10-19Forgot to add pkg-message.inMaho Nakata1-0/+12
2004-10-191) fix build after changes to make(1) on FreeBSDMaho Nakata3-21/+14
2004-10-19USE_MPI->WITH_MPI and other fixMaho Nakata1-3/+1
2004-10-191) Adding missing symbols in the libraryMaho Nakata4-25/+51
2004-10-19Adding newline at the end of filesMaho Nakata4-4/+4
2004-10-16Fix package build.Kirill Ponomarev1-1/+1
2004-10-16o) Fix error in package list (use of rm).Lars Koeller1-1/+1
2004-10-16Unbreak by using gcc-3.3.Thierry Thomas3-107/+107
2004-10-16Add coq, a formal proof management system: a proof done with Coq isPav Lucistnik5-0/+598
2004-10-15- Update to 0.3.5Pav Lucistnik8-36/+16
2004-10-14Update from 5.1.16 -> 5.1.17Lars Koeller3-12/+11
2004-10-14Update to 0.401Kirill Ponomarev5-23/+27
2004-10-13Update to 1.72.Anton Berezin2-3/+3
2004-10-12- Update to 2.0.0Pav Lucistnik3-926/+858
2004-10-12- Bump USE_GCC to 3.4 to match cln and unbreakPav Lucistnik2-7/+3
2004-10-12Update to 1.1Mathieu Arnold2-3/+3
2004-10-12Update to version 2004.10.04Kirill Ponomarev8-287/+417
2004-10-12Updated to 1.04Sergey Skvortsov2-3/+3
2004-10-12- Fix typos (omitted $'s)Sergei Kolobov2-36/+33
2004-10-12Update to 2.30.Mark Linimon4-14/+9
2004-10-121) fix plist: test builds show, that 0.6.3 configure fails to detectMark Linimon2-1/+12
2004-10-12Upgrade to 4.3.Thierry Thomas3-49/+41
2004-10-11- Upgrade to 1.42;Thierry Thomas5-127/+64
2004-10-08Play nice with new GCC, and unbreak the build.Alexey Dokuchaev2-7/+73
2004-10-04Hack to make pari compile again on 5.3 prior to releaseAde Lovett2-1/+21
2004-09-30Increase USE_GCC to 3.4 for those ports which compile with it.Kris Kennaway6-6/+6
2004-09-28This port compiles correctly with GCL.Mark Murray1-4/+2
2004-09-28Now builds on amd64Kris Kennaway1-4/+0
2004-09-27make replaced the defined command by our ${ARCH}.Thierry Thomas4-19/+21
2004-09-26BROKEN on 5.x: Broken by changes to make(1)Kris Kennaway2-2/+14
2004-09-26BROKEN on 5.x: Does not compileKris Kennaway1-1/+7
2004-09-26BROKEN on 5.x: Does not compileKris Kennaway2-0/+8
2004-09-26BROKEN on 5.x: Configure failsKris Kennaway1-1/+7
2004-09-20Unbreak with GCC 3.4.2.Joe Marcus Clarke3-4/+37
2004-09-19BROKEN: Does not compileKris Kennaway1-0/+2
2004-09-18BROKEN on 5.x: Does not compileKris Kennaway2-1/+11
2004-09-18BROKEN on 5.x: Does not compileKris Kennaway4-2/+22
2004-09-06Fix the build with GCC 3.4.2.Joe Marcus Clarke5-0/+66
2004-09-03Update to 0.5.5.Mark Linimon2-3/+3
2004-09-03Update to version 0.9.14Kirill Ponomarev3-4/+10
2004-09-02Fix build with gcc 3.4Tilman Keskinoz1-0/+19
2004-09-02Update to 0.0.5Tilman Keskinoz3-6/+6
2004-09-02Fix build 5-STABLEMaho Nakata2-0/+31
2004-09-02type -> archMaho Nakata2-6/+6
2004-09-01ad hoc fix for 5-STABLE, having CPUMaho Nakata2-0/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-04 12:46:19 +0000