| Commit message (Expand) | Author | Age | Files | Lines |
* | - Remove -malign-double from WITH_OPTIMIZED_CFLAGS on amd64 to fix build | Michael Johnson | 2005-09-01 | 1 | -3/+6 |
* | Add isabelle 2004, a generic proof assistant. | Simon Barner | 2005-09-01 | 10 | -0/+4177 |
* | - Unbreak on 4.x by using "use vars" instead of "our". | Jun Kuriyama | 2005-09-01 | 2 | -3/+13 |
* | Upgrade to 8.4 and make fetchable again. | Thierry Thomas | 2005-08-31 | 3 | -6/+5 |
* | Add proofgeneral 3.5, a generic interface for proof assistants. | Simon Barner | 2005-08-31 | 11 | -0/+716 |
* | Teach bmake about FreeBSD-7. | Thierry Thomas | 2005-08-30 | 2 | -3/+4 |
* | upgrade to 1.1.0 | Ying-Chieh Liao | 2005-08-30 | 3 | -10/+16 |
* | - Update to 1.0.58 | Michael Johnson | 2005-08-30 | 8 | -49/+63 |
* | A portable fixed precision math library designed for very fast | Pav Lucistnik | 2005-08-29 | 6 | -0/+52 |
* | LibTomMath provides highly optimized and portable routines for a vast | Pav Lucistnik | 2005-08-29 | 6 | -0/+50 |
* | Add mpfr 2.1.2, a library for multiple-precision floating-point | Alex Dupre | 2005-08-29 | 5 | -0/+42 |
* | Remove mpfr library from libgmp: it'll be included in the mpfr port. | Alex Dupre | 2005-08-29 | 4 | -12/+6 |
* | Depends on compat4x to get libm.so.2 when needed. | Thierry Thomas | 2005-08-28 | 1 | -0/+5 |
* | Add p5-Math-Vec 0.02, object-Oriented Vector Math Methods in Perl. | Jun Kuriyama | 2005-08-28 | 5 | -0/+41 |
* | Unbreak on 6.0, thanks to compat5x. | Thierry Thomas | 2005-08-27 | 1 | -2/+1 |
* | Make it fetchable again | Renato Botelho | 2005-08-22 | 2 | -3/+1 |
* | Unbreak with gcc 3.4. | Thierry Thomas | 2005-08-17 | 18 | -7/+453 |
* | Update to 20050603 and fix build on 6.x/7.x | Kirill Ponomarev | 2005-08-05 | 3 | -7/+37 |
* | Fix build on > 4.x (don't unconditionally try to execute gtar) | Kris Kennaway | 2005-08-03 | 1 | -1/+2 |
* | - Update to 2005_07_20-19_29_UTC | Renato Botelho | 2005-08-01 | 4 | -3/+51 |
* | Upgrade to 1.1. | Thierry Thomas | 2005-08-01 | 4 | -23/+4 |
* | Update to KDE 3.4.2 / KOffice 1.4.1 | Michael Nottebrock | 2005-07-31 | 1 | -2/+2 |
* | Linux binaries for version 8.2 are unfetchable, then switch to native | Thierry Thomas | 2005-07-31 | 18 | -774/+73 |
* | - Fix fetching. Unbreak. | Sergey Matveychuk | 2005-07-31 | 1 | -5/+1 |
* | Update to 0.6.4. This also fix the problem with fetching the distfile of | Thierry Thomas | 2005-07-29 | 2 | -11/+21 |
* | Asymptote is a powerful script-based vector graphics language that | Pav Lucistnik | 2005-07-29 | 7 | -0/+247 |
* | Update to 0.3.1 | Volker Stolz | 2005-07-27 | 3 | -6/+5 |
* | - uncomment REINPLACE_CMD which add "use vars ..." | Yen-Ming Lee | 2005-07-26 | 1 | -3/+3 |
* | - Update to 0.5.1 | Sergey Matveychuk | 2005-07-26 | 2 | -10/+6 |
* | - fix the missing $VERSION problem introduced in previous commit | Yen-Ming Lee | 2005-07-26 | 1 | -1/+4 |
* | - update to 1.08 | Yen-Ming Lee | 2005-07-25 | 2 | -3/+6 |
* | Add laspack 1.12.2, | Simon Barner | 2005-07-25 | 6 | -0/+92 |
* | -Update to 1.0.20050524, they never bump version so add date in it on our own. | Jeremy Messenger | 2005-07-25 | 7 | -61/+4 |
* | - Fix build | Pav Lucistnik | 2005-07-24 | 1 | -1/+3 |
* | This port is scheduled for deletion on 2005-09-22 if it is still broken | Kris Kennaway | 2005-07-23 | 4 | -0/+8 |
* | Upgrade to 23.8. | Thomas Gellekum | 2005-07-22 | 4 | -51/+36 |
* | Update my email address. | Vsevolod Stakhov | 2005-07-22 | 1 | -1/+1 |
* | - Update to 0.6.0 | Pav Lucistnik | 2005-07-21 | 2 | -3/+3 |
* | - Update or add WWW line | Michael Johnson | 2005-07-21 | 1 | -1/+1 |
* | - Use PLIST_FILES | Pav Lucistnik | 2005-07-18 | 2 | -2/+2 |
* | - Update to 1.3.2 | Pav Lucistnik | 2005-07-18 | 3 | -4/+5 |
* | Update to 1.3.3 | Hye-Shik Chang | 2005-07-18 | 3 | -10/+12 |
* | - Update to 1.0.7. | Florent Thoumie | 2005-07-14 | 3 | -17/+3 |
* | wxMaxima is a wxWidgets GUI for the computer algebra system maxima. | Pav Lucistnik | 2005-07-14 | 5 | -0/+50 |
* | Emacs Calc can do arbitrary precision arithmetic, operations on matrices, | Pav Lucistnik | 2005-07-13 | 9 | -0/+431 |
* | This port installs libccm.so in /usr/local/lib. ldconfig | Erwin Lansing | 2005-07-13 | 2 | -1/+4 |
* | Chryzodus is a cross-platform graphical program drawing | Pav Lucistnik | 2005-07-11 | 7 | -0/+78 |
* | Update to version 1b5, make it fetchable again. | Mark Murray | 2005-07-11 | 4 | -15/+13 |
* | Add JavaView, a 3D viewer and a mathematical visualization software | Herve Quiroz | 2005-07-11 | 7 | -0/+712 |
* | - Fix dependency on makeinfo | Pav Lucistnik | 2005-07-10 | 1 | -1/+1 |