| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Update to 5.7.26. | marcus | 2006-01-18 | 2 | -4/+4 |
* | - Update to 0.6.2 | pav | 2006-01-17 | 3 | -4/+16 |
* | Update to 4.0-2. | thierry | 2006-01-16 | 4 | -59/+65 |
* | Update to 5.7.23. | marcus | 2006-01-15 | 3 | -4/+7 |
* | A high quality tetrahedral mesher. It can be plugged in cad/gmsh. | pav | 2006-01-15 | 6 | -0/+87 |
* | - Update WWW | pav | 2006-01-15 | 1 | -1/+1 |
* | - Update graphics/libglut to 6.4.1. | sem | 2006-01-12 | 2 | -3/+3 |
* | Update to 1.5.0 | perky | 2006-01-11 | 4 | -22/+9 |
* | - Update to 2.2.1 | tdb | 2006-01-10 | 3 | -71/+197 |
* | - Chase math/libRmath update (bump PORTREVISION) | ehaupt | 2006-01-10 | 1 | -3/+4 |
* | Update to 2.2.1 | ehaupt | 2006-01-10 | 2 | -9/+9 |
* | - Update MASTER_SITES | ehaupt | 2006-01-09 | 2 | -1/+2 |
* | Fix maintainer address | edwin | 2006-01-09 | 1 | -1/+1 |
* | Update to KDE 3.5.0 | lofi | 2006-01-09 | 6 | -70/+305 |
* | Update to 3.2.0 | maho | 2006-01-08 | 3 | -17119/+11691 |
* | s|USE_KDELIBS|USE_KDELIBS_VER|g | lofi | 2006-01-07 | 1 | -1/+1 |
* | Remove a feature which no longer exists from pkg-descr. | jylefort | 2006-01-07 | 1 | -1/+0 |
* | - Don't pack up mtree symlinks | pav | 2006-01-06 | 1 | -2/+0 |
* | Add missing dependency. | tobez | 2006-01-05 | 1 | -0/+4 |
* | Chase libversion bumb to libMagick.so.9 | edwin | 2006-01-05 | 3 | -2/+4 |
* | Add abakus, a bc-like calculator with a KDE GUI. | lofi | 2006-01-04 | 5 | -0/+45 |
* | Make math/arpack depend less on math/atlas | edwin | 2006-01-03 | 1 | -2/+2 |
* | Update to 0.99 | ehaupt | 2006-01-03 | 3 | -5/+19 |
* | Scilab on FreeBSD 6 | edwin | 2006-01-02 | 1 | -1/+1 |
* | Upgrade to 2.2-0. | thierry | 2006-01-02 | 3 | -8/+32 |
* | - Update to 1.09 | leeym | 2006-01-02 | 2 | -8/+11 |
* | - Pacify portlint | ehaupt | 2005-12-31 | 2 | -1/+2 |
* | - Add SHA256 | pav | 2005-12-30 | 1 | -0/+3 |
* | - Update to 5.9.2 | pav | 2005-12-27 | 3 | -171/+221 |
* | Update to 0.9.0 | jylefort | 2005-12-25 | 3 | -7/+6 |
* | - Update to 0.9.0 [1] | jylefort | 2005-12-25 | 3 | -37/+6 |
* | Update to 5.7.18. | marcus | 2005-12-24 | 2 | -4/+4 |
* | New port libjbigi version 0.6.1.8: i2p JNI to GNU MP Bignum library | lioux | 2005-12-23 | 6 | -0/+151 |
* | [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter | edwin | 2005-12-21 | 6 | -0/+80 |
* | Reset maintainer | edwin | 2005-12-21 | 1 | -1/+1 |
* | - updated from v0.13 to v0.14 | aaron | 2005-12-20 | 2 | -4/+4 |
* | Update to 0.2005.12.12 | lawrance | 2005-12-18 | 3 | -6/+19 |
* | - Add second MASTER_SITE | pav | 2005-12-18 | 2 | -5/+7 |
* | - Update to 0.97 | pav | 2005-12-18 | 2 | -4/+4 |
* | Update to 0.96 | lawrance | 2005-12-16 | 5 | -5/+16 |
* | Not GCC is the culprit, but a more recent perl is required on 4.x | vs | 2005-12-16 | 1 | -2/+3 |
* | Updatr to 5.7.15. | marcus | 2005-12-15 | 2 | -4/+4 |
* | - Update to 1.51 | tdb | 2005-12-15 | 3 | -8/+13 |
* | Upgrade to 5.1.19. | thierry | 2005-12-13 | 3 | -22/+20 |
* | Update to 0.42 | mat | 2005-12-13 | 2 | -4/+4 |
* | Respect X11BASE | vs | 2005-12-12 | 2 | -12/+2 |
* | Unbreak on 4.x: Builds fine with GCC 3.4+ | vs | 2005-12-12 | 1 | -1/+1 |
* | Fix build on 6.x | ehaupt | 2005-12-12 | 2 | -1/+11 |
* | The author fixed three minor bugs without changing the version number: | thierry | 2005-12-11 | 4 | -9/+10 |
* | Upgrade to version 2.1-2. | thierry | 2005-12-10 | 3 | -4/+7 |
* | Remove pear ports obsolated by devel/pear and switch | ale | 2005-12-10 | 1 | -2/+2 |
* | Upgrade to v0.95. | jkoshy | 2005-12-09 | 3 | -70/+77 |
* | Add math/p5-Math-Matrix 0.4, a Perl module that performs a number of | tobez | 2005-12-08 | 5 | -0/+35 |
* | Unbreak: Add vendor-patch for ocaml 3.09 | vs | 2005-12-07 | 2 | -0/+5 |
* | Update to 0.69. | tobez | 2005-12-07 | 2 | -4/+4 |
* | Update to 0.08 | erwin | 2005-12-06 | 2 | -3/+4 |
* | Bump PORTREVISION to regenerate the package with the newly enabled IDE on the... | vs | 2005-12-05 | 1 | -0/+1 |
* | Enable IDE by default. | vs | 2005-12-05 | 1 | -3/+3 |
* | Remove install-info from Makefile, it's automatically done when INFO is defined | edwin | 2005-12-05 | 2 | -2/+0 |
* | Use INFO macro | edwin | 2005-12-04 | 4 | -6/+4 |
* | - Update to 0.37 | tdb | 2005-12-03 | 3 | -8/+7 |
* | - Update to 0.07 | tdb | 2005-12-03 | 2 | -3/+4 |
* | - Update to 0.95 | ehaupt | 2005-12-02 | 5 | -23/+17 |
* | [New port] math/LabPlot: add LabPlot (Data analysis and visualisation tool) | edwin | 2005-12-01 | 11 | -0/+419 |
* | Upgrade to 2.1-0. | thierry | 2005-12-01 | 3 | -8/+14 |
* | - Always build the seprate fftw3 threads lib. | ahze | 2005-12-01 | 4 | -16/+8 |
* | Chase shlib version bump of net-snmp. | kuriyama | 2005-11-30 | 1 | -0/+1 |
* | - Update to 0.6.4. | flz | 2005-11-29 | 2 | -4/+4 |
* | The Ruby contrib directory hasn't existed for some time; mirror the | fenner | 2005-11-28 | 1 | -2/+2 |
* | - Add SHA256 | pav | 2005-11-26 | 1 | -0/+1 |
* | - Style: ports@freebsd.org -> ports@FreeBSD.org | pav | 2005-11-26 | 2 | -2/+2 |
* | - Add SHA256 | pav | 2005-11-26 | 2 | -0/+2 |
* | - Add SHA256 | pav | 2005-11-25 | 106 | -0/+368 |
* | Update to 0.68. | tobez | 2005-11-25 | 2 | -3/+4 |
* | - Add SHA256 checksums | pav | 2005-11-24 | 1 | -0/+1 |
* | Add alternate MASTER_SITES | lioux | 2005-11-23 | 1 | -1/+2 |
* | - Update mastersite [1] | barner | 2005-11-23 | 3 | -2/+3 |
* | - Use new autotools world order | pav | 2005-11-23 | 1 | -1/+1 |
* | - Fix build on FreeBSD 4.X | pav | 2005-11-23 | 4 | -0/+106 |
* | - update port from v0.12 to v0.13 | aaron | 2005-11-22 | 2 | -4/+4 |
* | Tablix is a powerful free software kernel for solving general timetabling | pav | 2005-11-21 | 5 | -0/+87 |
* | BROKEN: Does not build | kris | 2005-11-21 | 1 | -0/+2 |
* | - update port from v0.08 to v0.12 | aaron | 2005-11-21 | 3 | -10/+10 |
* | Unbreak by upgrading to 1.6. | thierry | 2005-11-20 | 4 | -18/+6 |
* | Currently with "cpu I686_CPU" which is default, | maho | 2005-11-20 | 3 | -18/+0 |
* | Update to 2.4.2 | maho | 2005-11-20 | 3 | -5/+4 |
* | - Update to 0.92 | pav | 2005-11-19 | 5 | -20/+43 |
* | Add a patch to avoid C++ keyword conflict in a header file. | perky | 2005-11-18 | 2 | -0/+15 |
* | Update to 0.41 | mat | 2005-11-16 | 3 | -5/+5 |
* | BROKEN: Size mismatch | kris | 2005-11-16 | 1 | -0/+2 |
* | Update checksum and size of distfile. I verified that the actual unpacked | jhb | 2005-11-15 | 1 | -2/+2 |
* | Mass-conversion to the USE_AUTOTOOLS New World Order. The code present | ade | 2005-11-15 | 23 | -26/+23 |
* | - Update to 5.7.11 | ahze | 2005-11-15 | 2 | -3/+4 |
* | Update to 1.6.1. | marcus | 2005-11-15 | 4 | -552/+10 |
* | fixup make logic so that the distfile only gets here once and don't get | mat | 2005-11-14 | 2 | -5/+1 |
* | Take a perl@ hat and add SHA256 checksums | mat | 2005-11-14 | 4 | -0/+7 |
* | Be hipe and add SHA256 | mat | 2005-11-14 | 3 | -0/+3 |
* | Update to 1.4.1 | perky | 2005-11-14 | 3 | -7/+8 |
* | Update to 1.03. | osa | 2005-11-14 | 2 | -4/+5 |
* | o) Drop maintainership cause I didn't use these ports since months anymore. | lkoeller | 2005-11-14 | 2 | -2/+2 |
* | portlint shorten pkg-descr, by removing duplicate information from COPYING | arved | 2005-11-13 | 2 | -50/+6 |
* | Fix build on FreeBSD7 | arved | 2005-11-13 | 2 | -7/+15 |
* | - Chase allegro update | pav | 2005-11-13 | 1 | -1/+2 |
* | Update to 1.2.1 | arved | 2005-11-13 | 2 | -5/+5 |
* | - Bail out when older version is installed, because the compilation would fail | pav | 2005-11-12 | 1 | -0/+5 |
* | - Upgrade to 9.0, and add a distribution for FreeBSD-5.4 and 6.0. | thierry | 2005-11-11 | 6 | -22/+24 |
* | Fix pkg-plist when both octave and octave-forge are | maho | 2005-11-11 | 2 | -0/+2 |
* | fix pkg-plist | maho | 2005-11-11 | 1 | -64/+23 |
* | Fix package list | maho | 2005-11-11 | 2 | -44/+86 |
* | - Remove commas from BROKEN message | sem | 2005-11-11 | 1 | -1/+1 |
* | Add SHA256 checksum | lioux | 2005-11-11 | 2 | -0/+2 |
* | o Update to new distfile | lioux | 2005-11-11 | 2 | -3/+4 |
* | With portmgr hat on, reset maintainership of knu's ports since he has | linimon | 2005-11-11 | 8 | -8/+8 |
* | - Add SHA256 to all ports submitter maintain | garga | 2005-11-11 | 2 | -0/+2 |
* | Remove the usage of 'misc' as a secondary category. | linimon | 2005-11-10 | 1 | -1/+1 |
* | Be more precise about error on 4.x. Setting USE_GCC (implied by math/cln) | vs | 2005-11-09 | 1 | -1/+2 |
* | Chase Boost shared lib version after update to Boost 1.33.0. | barner | 2005-11-09 | 1 | -1/+1 |
* | - Update to 0.90 | sem | 2005-11-09 | 6 | -91/+94 |
* | - Update MASTER_SITES and WWW: line | vs | 2005-11-09 | 3 | -9/+4 |
* | - Add SHA256 | ahze | 2005-11-09 | 1 | -0/+1 |
* | - Update to 1.0.3 | pav | 2005-11-09 | 2 | -3/+3 |
* | Upgrade to 2.0-4 and build the manual again. | thierry | 2005-11-09 | 3 | -25/+20 |
* | Fix build with goffice 0.1.1 [1]. | kwm | 2005-11-08 | 3 | -0/+547 |
* | Update to 0.06 | vs | 2005-11-08 | 3 | -6/+5 |
* | Add port math/p5-Algorithm-Combinatorics, efficient generation of combinatori... | aaron | 2005-11-06 | 5 | -0/+56 |
* | Fix some portlint warnings. | tobez | 2005-11-06 | 2 | -4/+2 |
* | Update to 2.4.2; assign maintainership to perl@. | tobez | 2005-11-05 | 3 | -20/+11 |
* | Update to KDE 3.4.3 / KOffice 1.4.2 | lofi | 2005-11-05 | 1 | -2/+2 |
* | These ports depended on jx, which was removed. | kris | 2005-11-05 | 15 | -396/+0 |
* | Update to 1.6.0. | marcus | 2005-11-05 | 9 | -615/+509 |
* | Bump PORTREVISION to chase the glib20 shared library update. | marcus | 2005-11-05 | 14 | -3/+14 |
* | Presenting GNOME 2.12 for FreeBSD. The release is chock full of bug fixes | marcus | 2005-11-05 | 3 | -8/+7 |
* | - Add more master sites, the original site have 10 slots limit and is full | pav | 2005-11-04 | 1 | -1/+3 |
* | - Move USE_LDOUBLE=yes above bsd.port.pre.mk so pointyhat actaully uses | ahze | 2005-11-04 | 1 | -3/+1 |
* | - Update to 0.8.2.1 | pav | 2005-11-04 | 2 | -3/+3 |
* | - Update to 0.8.2 | pav | 2005-11-04 | 5 | -17/+34 |
* | - Drop unused LDCONFIG_DIRS | vs | 2005-11-03 | 1 | -3/+2 |
* | Upgrade to 24.0. | tg | 2005-11-02 | 2 | -3/+3 |
* | - Updated from 0.06 to 0.07 | aaron | 2005-11-02 | 3 | -5/+4 |
* | Unbreak on 4.x | vs | 2005-11-02 | 5 | -7/+97 |
* | - Chase cln and ginac updates | pav | 2005-11-02 | 1 | -1/+2 |
* | - Update to 1.3.3 | pav | 2005-11-02 | 3 | -6/+6 |
* | - Update to 1.1.10 | pav | 2005-11-02 | 3 | -13/+109 |
* | Upgrade to 2.0-3 and chase the new site. | thierry | 2005-11-02 | 5 | -59/+105 |
* | . Build and install some of the documentation files. | glewis | 2005-11-02 | 2 | -1/+21 |
* | Let the IGNORE message make a bit more sense and change it from: | erwin | 2005-11-01 | 5 | -5/+5 |
* | update to 2.4.1 | maho | 2005-10-31 | 2 | -3/+3 |
* | update to 2005.06.13 and unbreak | maho | 2005-10-30 | 4 | -190/+130 |
* | Add cputype of sempron; athlon type CPU | maho | 2005-10-30 | 1 | -1/+2 |
* | Fix build and install | maho | 2005-10-30 | 2 | -7/+8 |
* | Update to 1.0.59 | mnag | 2005-10-30 | 2 | -3/+3 |
* | Update to 1.2 | mnag | 2005-10-30 | 2 | -3/+3 |
* | o) Fix error when using funktion from shared libraries (dlopen, dlerror) | lkoeller | 2005-10-30 | 2 | -1/+13 |
* | Drop MAINTAINER | mnag | 2005-10-30 | 1 | -1/+1 |
* | - Update to 2005.10.06 | ehaupt | 2005-10-30 | 6 | -92/+124 |
* | - Fix fftw3-long by ALWAYS using math/ldouble even if CPUTYPE is defined | ahze | 2005-10-29 | 2 | -3/+1 |
* | BROKEN: Incorrect pkg-plist | kris | 2005-10-29 | 1 | -0/+2 |
* | BROKEN on ia64: Does not compile | kris | 2005-10-29 | 1 | -2/+2 |
* | BROKEN on 7.0: Does not build | kris | 2005-10-29 | 1 | -0/+4 |
* | BROKEN: Does not build | kris | 2005-10-28 | 1 | -0/+2 |
* | BROKEN on amd64: Does not build | kris | 2005-10-28 | 1 | -0/+4 |
* | Update to 1.05. | tobez | 2005-10-27 | 2 | -3/+3 |
* | - Sync ports version to latest packages update (2005_10_19-13_48_UTC) | az | 2005-10-25 | 2 | -3/+3 |
* | - Update to 12.5.0 [1] | jylefort | 2005-10-24 | 3 | -29/+14 |
* | Make X11BASE-safe | vs | 2005-10-24 | 1 | -1/+1 |
* | Add math/p5-Math-ConvexHull 1.00, a Perl module to calculate convex | tobez | 2005-10-24 | 5 | -0/+45 |
* | - Update to 20051010 | sem | 2005-10-21 | 6 | -1292/+1287 |
* | - Update to 4.3.6 [1] | garga | 2005-10-19 | 5 | -221/+115 |
* | respect PREFIX | ijliao | 2005-10-19 | 1 | -0/+4 |
* | Update to 2.2.10.alpha. | tobez | 2005-10-19 | 2 | -4/+3 |
* | Populate virtual category "lisp" | vs | 2005-10-16 | 1 | -1/+1 |
* | Update to 0.11 | mnag | 2005-10-16 | 3 | -56/+11 |
* | NOPROFILE -> NO_PROFILE (fix the build on FreebSD >= 6.0) | jmz | 2005-10-15 | 1 | -2/+6 |
* | Update MASTER_SITE to point to a mirror and remove WWW from package | jhb | 2005-10-14 | 2 | -3/+1 |
* | Stabilizing: the PETSc Team builds a special tarball for the FreeBSD | thierry | 2005-10-13 | 2 | -5/+6 |
* | - Update to 2.2.0 | sem | 2005-10-12 | 5 | -156/+358 |
* | - Update to 2.2.0 | sem | 2005-10-12 | 3 | -29/+31 |
* | Remove dead MASTER_SITE and related WWW pkg-descr line. | ale | 2005-10-12 | 2 | -5/+1 |
* | - Upgrade from PETSC_VERSION_PATCH 34 (October, 6, 2005) to | thierry | 2005-10-11 | 2 | -3/+4 |
* | Update to 0.3.2 | perky | 2005-10-10 | 3 | -5/+7 |
* | update to 1.0.1 | maho | 2005-10-10 | 4 | -7/+7 |
* | update to 2.4.0 | maho | 2005-10-10 | 3 | -4/+6 |
* | Reset bouncing maintainer addresses. | linimon | 2005-10-10 | 1 | -1/+1 |
* | update to 6.2.1 | maho | 2005-10-10 | 2 | -6/+6 |
* | 1. Update to 3.7.11 | maho | 2005-10-10 | 3 | -4/+5 |
* | Reset bouncing maintainer address; mark BROKEN since it does not fetch. | linimon | 2005-10-10 | 1 | -2/+6 |
* | - Update to 12.4.11 | garga | 2005-10-08 | 3 | -6/+15 |
* | - Upgrade from PETSC_VERSION_PATCH 32 (September, 26, 2005) to | thierry | 2005-10-07 | 2 | -3/+3 |
* | Update to 1.3. | tobez | 2005-10-06 | 2 | -4/+4 |
* | - Update to 3.95 | hq | 2005-10-06 | 4 | -139/+218 |
* | Update to 0.0.6 | arved | 2005-10-06 | 2 | -3/+3 |
* | Update to 0.91. | tobez | 2005-10-05 | 2 | -3/+3 |
* | fix build on 4 | oliver | 2005-10-04 | 2 | -9/+4 |
* | Reset maintainer to ports@FreeBSD.org | barner | 2005-10-04 | 1 | -1/+1 |
* | - Update to 0.89 | pav | 2005-10-03 | 6 | -27/+38 |
* | - Update to 0.6.2 [1] | jylefort | 2005-10-03 | 2 | -5/+5 |
* | Update to 0.06 | mnag | 2005-10-02 | 2 | -3/+3 |
* | - Fix build of fftw3-long on 5.x, 6.x, 7.x when CPUTYPE is not defined | ahze | 2005-10-01 | 1 | -2/+5 |
* | Correct typo. | ale | 2005-10-01 | 1 | -1/+1 |
* | www.hensa.ac.uk has been replaced by the UK Mirror Service on 1 August 1999. | fenner | 2005-10-01 | 3 | -3/+3 |
* | take maintainership | oliver | 2005-09-30 | 1 | -1/+1 |
* | - Upgrade from PETSC_VERSION_PATCH 31 (September, 14, 2005) to | thierry | 2005-09-28 | 2 | -2/+3 |
* | update to 0.3.4 | oliver | 2005-09-28 | 3 | -26/+5 |
* | Update to 2.2.0 release: | ale | 2005-09-24 | 3 | -6/+10 |
* | Add geogebra-i18n 2.6b, a dynamic software that joins geometry, | thierry | 2005-09-24 | 6 | -0/+891 |
* | Update to 1.04. Assign maintainer to perl@. Require perl from ports. | tobez | 2005-09-23 | 2 | -5/+11 |
* | Update to 2.32. | tobez | 2005-09-22 | 3 | -5/+9 |
* | search.cpan.org redirect reduction canonicalization project, pass 2: | fenner | 2005-09-22 | 2 | -2/+2 |
* | search.cpan.org redirect reduction canonicalization project, pass 1: | fenner | 2005-09-22 | 18 | -18/+18 |
* | Reset maintainership of Seamus Venasse who has not responded for some time. | erwin | 2005-09-20 | 2 | -2/+2 |
* | - update to 1.0 | leeym | 2005-09-19 | 3 | -8/+15 |
* | Upgrade to v2.3.0. | thierry | 2005-09-18 | 9 | -154/+76 |
* | - Respect PREFIX | pav | 2005-09-17 | 2 | -1/+5 |
* | Fix plist. | barner | 2005-09-16 | 1 | -0/+3 |
* | Fix build: | barner | 2005-09-15 | 2 | -7/+35 |
* | - update to 1.28 | leeym | 2005-09-15 | 2 | -3/+3 |
* | - Use full URI scheme in WWW line | pav | 2005-09-15 | 2 | -10/+4 |
* | Update to 1.2. | tobez | 2005-09-13 | 2 | -3/+3 |
* | Unbreak by fixing MD5 after a silent update. | thierry | 2005-09-13 | 3 | -4/+5 |
* | Enable readline support. | vsevolod | 2005-09-12 | 2 | -7/+21 |
* | Update to 0.67. | tobez | 2005-09-11 | 2 | -3/+3 |
* | - Update to 0.87 | pav | 2005-09-10 | 3 | -3/+5 |
* | Mark BROKEN on sparc64 until maintainer can look at it | lawrance | 2005-09-09 | 1 | -1/+7 |
* | Fix build: USE_PYTHON=2.4+ | vs | 2005-09-08 | 1 | -1/+1 |
* | Fix PKGORIGIN for slave-port german/geonext | vs | 2005-09-07 | 1 | -1/+1 |
* | Set NO_PACKAGE: atlas optimizes for the local machine, so a package is not | kris | 2005-09-07 | 1 | -0/+2 |
* | - Update to 0.4.0 | pav | 2005-09-07 | 12 | -733/+24 |
* | Upgrade to version 4.8. | demon | 2005-09-05 | 3 | -12/+10 |
* | - Update to 0.86 | pav | 2005-09-05 | 3 | -9/+10 |
* | - Update to 1.5 | pav | 2005-09-04 | 2 | -3/+3 |
* | - Update to 1.1.2 | pav | 2005-09-04 | 2 | -3/+3 |
* | - Update to 0.5.8 | pav | 2005-09-04 | 2 | -3/+3 |
* | Update to 1.12 | lawrance | 2005-09-04 | 3 | -14/+14 |
* | - Update to 4.4.6 | lawrance | 2005-09-04 | 2 | -8/+9 |
* | - Remove -O3 optimization. It should fix fails on sparc64 | sem | 2005-09-02 | 2 | -2/+12 |
* | - Remove -O3 optimization from CFLAGS | sem | 2005-09-02 | 2 | -2/+12 |
* | - Remove -malign-double from WITH_OPTIMIZED_CFLAGS on amd64 to fix build | ahze | 2005-09-02 | 1 | -3/+6 |
* | Add isabelle 2004, a generic proof assistant. | barner | 2005-09-01 | 10 | -0/+4177 |
* | - Unbreak on 4.x by using "use vars" instead of "our". | kuriyama | 2005-09-01 | 2 | -3/+13 |
* | Upgrade to 8.4 and make fetchable again. | thierry | 2005-09-01 | 3 | -6/+5 |
* | Add proofgeneral 3.5, a generic interface for proof assistants. | barner | 2005-08-31 | 11 | -0/+716 |
* | Teach bmake about FreeBSD-7. | thierry | 2005-08-31 | 2 | -3/+4 |
* | upgrade to 1.1.0 | ijliao | 2005-08-30 | 3 | -10/+16 |
* | - Update to 1.0.58 | ahze | 2005-08-30 | 8 | -49/+63 |
* | A portable fixed precision math library designed for very fast | pav | 2005-08-29 | 6 | -0/+52 |
* | LibTomMath provides highly optimized and portable routines for a vast | pav | 2005-08-29 | 6 | -0/+50 |
* | Add mpfr 2.1.2, a library for multiple-precision floating-point | ale | 2005-08-29 | 5 | -0/+42 |
* | Remove mpfr library from libgmp: it'll be included in the mpfr port. | ale | 2005-08-29 | 4 | -12/+6 |
* | Depends on compat4x to get libm.so.2 when needed. | thierry | 2005-08-28 | 1 | -0/+5 |
* | Add p5-Math-Vec 0.02, object-Oriented Vector Math Methods in Perl. | kuriyama | 2005-08-28 | 5 | -0/+41 |