| Commit message (Expand) | Author | Age | Files | Lines |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-30 | 2 | -7/+7 |
* | Update to 16.0.0 | ehaupt | 2012-06-30 | 2 | -3/+3 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-30 | 1 | -1/+1 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-30 | 1 | -1/+1 |
* | Convert to new option framework | bapt | 2012-06-29 | 3 | -18/+23 |
* | tell portscout to ignore the irrelevant bugfix distfile | bf | 2012-06-29 | 1 | -0/+2 |
* | replace a problematic mirror | bf | 2012-06-29 | 1 | -1/+1 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-29 | 1 | -1/+1 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-29 | 1 | -4/+4 |
* | Convert to new options framework | johans | 2012-06-29 | 1 | -14/+20 |
* | - Update to 2.3.52. | stephen | 2012-06-28 | 2 | -3/+3 |
* | - Mark BROKEN: does not build | pav | 2012-06-28 | 1 | -0/+2 |
* | - Connect math/eigen3 to the build. | avilla | 2012-06-27 | 1 | -0/+1 |
* | - Remove PORTEPOCH as the port is too new to be installed on anyone's | avilla | 2012-06-27 | 1 | -1/+0 |
* | defer pending an update | bf | 2012-06-27 | 1 | -1/+1 |
* | add math/arpack-ng to CONFLICTS; remove version numbers from | bf | 2012-06-27 | 1 | -2/+3 |
* | Add arpack-ng 3.1.1, revised Argand library for solving large-scale | bf | 2012-06-27 | 4 | -0/+92 |
* | - Restore PORTEPOCH. | avilla | 2012-06-27 | 1 | -0/+1 |
* | - Update to 3.1.0. | avilla | 2012-06-27 | 4 | -157/+388 |
* | update math/R to 2.15.1, switch to the new options format, and | bf | 2012-06-27 | 31 | -89/+151 |
* | - fix installation on powerpc | rm | 2012-06-27 | 1 | -5/+1 |
* | - reset MAINTAINER | dinoex | 2012-06-26 | 3 | -3/+3 |
* | - Update to 1.1.0 | sunpoet | 2012-06-24 | 4 | -223/+1123 |
* | Update to 4.3.0 | madpilot | 2012-06-24 | 2 | -6/+6 |
* | - Update to 6.11b. | stephen | 2012-06-23 | 4 | -125/+188 |
* | - Update to 1.1.7. | stephen | 2012-06-23 | 3 | -6/+16 |
* | - Update to 3.13 | sunpoet | 2012-06-23 | 3 | -7/+16 |
* | - Add p5-Math-GMPz 0.35 | sunpoet | 2012-06-23 | 5 | -0/+52 |
* | - Add p5-Math-GMPq 0.35 | sunpoet | 2012-06-23 | 5 | -0/+57 |
* | - Add p5-Math-GMPf 0.35 | sunpoet | 2012-06-23 | 5 | -0/+51 |
* | - Update to 0.6-2 | tota | 2012-06-22 | 2 | -3/+3 |
* | - Update to 0.9.5 | scheidell | 2012-06-22 | 3 | -6/+529 |
* | - Update to 1.6.2 | wen | 2012-06-22 | 3 | -12/+6 |
* | - Update to 1.0.8. | stephen | 2012-06-22 | 2 | -5/+9 |
* | - Correct spelling of "invocation." | stephen | 2012-06-21 | 1 | -1/+1 |
* | Fix spacing. | skv | 2012-06-21 | 1 | -1/+1 |
* | Mark as ignored with Perl 5.14+ | skv | 2012-06-21 | 1 | -0/+4 |
* | - Update to 2012.06.18 | dhn | 2012-06-20 | 3 | -3/+11 |
* | - Add JAVA_VERSION. | stephen | 2012-06-20 | 1 | -1/+2 |
* | - Update to 20120619. | stephen | 2012-06-20 | 1 | -2/+5 |
* | - New port math/octave-forge-java. | stephen | 2012-06-20 | 5 | -0/+51 |
* | - Update to 0.6-1 | tota | 2012-06-19 | 2 | -4/+4 |
* | - Fix fetch | pav | 2012-06-19 | 1 | -2/+2 |
* | - Add missing dependency for example programs | sunpoet | 2012-06-18 | 1 | -0/+4 |
* | - Fix default boost directory | sunpoet | 2012-06-18 | 1 | -0/+3 |
* | - Update ocamlgraph to 1.8.2 | johans | 2012-06-17 | 3 | -9/+19 |
* | - Update gap to 4.5.4 | johans | 2012-06-17 | 6 | -222/+20 |
* | - Update to 12.04-04 | scheidell | 2012-06-16 | 3 | -4/+7 |
* | - Update to 0.6 | tota | 2012-06-16 | 2 | -5/+4 |
* | fix the build, before further updates | bf | 2012-06-15 | 5 | -20/+10 |
* | - Update to 5.0.1. | stephen | 2012-06-15 | 11 | -46/+39 |
* | KDE/FreeBSD team presents KDE SC 4.8.4, probably the last release in 4.8.x se... | makc | 2012-06-15 | 14 | -22/+16 |
* | Fix build by updating png locations | crees | 2012-06-14 | 1 | -3/+2 |
* | - Update to 1.2.0. | stephen | 2012-06-13 | 2 | -4/+3 |
* | - Remove SITE_PERL from *_DEPENDS | jadawin | 2012-06-12 | 5 | -10/+10 |
* | Register CONFLICTS | ehaupt | 2012-06-11 | 1 | -0/+3 |
* | - Convert all remaining instances of BUILD_DEPENDS=${RUN_DEPENDS} or | swills | 2012-06-11 | 2 | -2/+2 |
* | - Update to 0.26 | sunpoet | 2012-06-10 | 2 | -3/+3 |
* | - Fix build after the update of graphics/vigra | beech | 2012-06-10 | 1 | -0/+29 |
* | Mark BROKEN with new png | erwin | 2012-06-09 | 1 | -0/+2 |
* | add some CONFLICTS [1]; minor clean-up | bf | 2012-06-09 | 4 | -4/+6 |
* | - Update 1.0.19. | stephen | 2012-06-09 | 2 | -4/+3 |
* | exit earlier, and with a more helpful error message, when attempting to | bf | 2012-06-09 | 1 | -2/+6 |
* | - Add dependency exposed by example programs and patch default boost dir. | sylvio | 2012-06-08 | 2 | -1/+8 |
* | - Rework the do-fetch target to check for the availability of the | erwin | 2012-06-08 | 1 | -1/+3 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-07 | 17 | -27/+27 |
* | update to 1.9.9 and convert options to the new style | bf | 2012-06-07 | 3 | -24/+27 |
* | update to 3.3.2 and convert options to the new style | bf | 2012-06-07 | 2 | -11/+14 |
* | - Convert to new optionsNG | sylvio | 2012-06-07 | 1 | -15/+17 |
* | Unbreak package builds on pointyhat cluster by adding the missing | truckman | 2012-06-07 | 1 | -7/+12 |
* | - Add LICENSE | sunpoet | 2012-06-07 | 2 | -2/+5 |
* | - Get rid of SITE_PERL in my ports | amdmi3 | 2012-06-07 | 2 | -6/+6 |
* | - Remove SITE_PERL from *_DEPENDS | culot | 2012-06-06 | 1 | -3/+3 |
* | - Convert USE_QT_VER=4 and QT_COMPONETS to USE_QT4 | miwi | 2012-06-06 | 17 | -37/+20 |
* | - Update to 0.25 | sunpoet | 2012-06-06 | 2 | -3/+3 |
* | - Add afni-[0-9]* to CONFLICTS. | stephen | 2012-06-05 | 2 | -2/+2 |
* | - Update to 0.24 | sunpoet | 2012-06-05 | 2 | -3/+3 |
* | - Update to 1.5.0. | stephen | 2012-06-05 | 2 | -4/+4 |
* | - Update to 1.15 | jadawin | 2012-06-05 | 2 | -3/+3 |
* | - Update to 0.23 | sunpoet | 2012-06-05 | 2 | -3/+6 |
* | - Update to 0.8.1 | pgj | 2012-06-04 | 3 | -5/+5 |
* | - Update to 0.10.1.0 | pgj | 2012-06-04 | 2 | -6/+6 |
* | - Update to 0.8.3.2 | pgj | 2012-06-04 | 3 | -5/+10 |
* | - Update to 1.3.2 | pgj | 2012-06-04 | 2 | -5/+5 |
* | - Update to 0.2.4 | pgj | 2012-06-04 | 2 | -4/+4 |
* | - Update to 2.1.0.2 | pgj | 2012-06-04 | 3 | -7/+7 |
* | - Update to 0.12.0.0 | pgj | 2012-06-04 | 3 | -17/+13 |
* | - Update to 0.2.2 | pgj | 2012-06-04 | 2 | -5/+4 |
* | - Update to 2.1.5 | pgj | 2012-06-04 | 2 | -3/+3 |
* | - Update to 2.10.0 | pgj | 2012-06-04 | 2 | -6/+5 |
* | - Update to 0.2.0.2 | pgj | 2012-06-04 | 2 | -3/+3 |
* | - Update to 2.1.1.1 | pgj | 2012-06-04 | 2 | -5/+5 |
* | - Update to 1.1.1.6 | pgj | 2012-06-04 | 3 | -5/+5 |
* | - Update to 1.0.3 | pgj | 2012-06-04 | 3 | -7/+5 |
* | - Update to 2.3.0.1 | pgj | 2012-06-04 | 7 | -20/+40 |
* | - Convert to new options framework. | stephen | 2012-06-04 | 1 | -16/+18 |
* | - Update The Glorious Glasgow Haskell Compiler to version 7.4.1 | pgj | 2012-06-04 | 5 | -4/+7 |
* | - Convert to new options framework. | stephen | 2012-06-04 | 1 | -2/+2 |
* | Utilities for dealing with IEEE floating point numbers, ported from the | pgj | 2012-06-04 | 3 | -0/+25 |
* | - Update to 2.3.51. | stephen | 2012-06-04 | 2 | -4/+3 |
* | - Update to 2.4.11 | sunpoet | 2012-06-04 | 4 | -48/+16 |
* | Update to 15.8.5 | ehaupt | 2012-06-03 | 2 | -3/+3 |
* | Set maintainership back to ports@ | cs | 2012-06-03 | 1 | -1/+1 |
* | - Remove SITE_PERL from *_DEPENDS | az | 2012-06-03 | 3 | -4/+4 |
* | Extract saxon.jar from the distfile for the textproc/saxon port into | truckman | 2012-06-03 | 2 | -4/+11 |
* | - Update devel/lasi to 1.1.1 | lme | 2012-06-02 | 1 | -1/+2 |
* | - Update to 0.19 | sunpoet | 2012-06-02 | 3 | -4/+8 |
* | - update png to 1.5.10 | dinoex | 2012-06-01 | 167 | -123/+264 |
* | Convert to new options framework | bapt | 2012-05-31 | 1 | -22/+25 |
* | - Update to 1.14 | jadawin | 2012-05-31 | 2 | -3/+3 |
* | - Convert to new option frame (mutualty exclusive options aka single) | bapt | 2012-05-29 | 1 | -10/+19 |
* | - Include instructions on how to manually add optional packages. Because | stephen | 2012-05-29 | 2 | -0/+25 |
* | defer pending an update | bf | 2012-05-29 | 2 | -2/+2 |
* | - Removed options to include optional packages, because of security risk | stephen | 2012-05-29 | 1 | -204/+1 |
* | - Update to 2012.05.20 | dhn | 2012-05-26 | 3 | -3/+12 |
* | - Update to 6.4.2 | miwi | 2012-05-25 | 4 | -67/+32 |
* | Commons Math is a library of lightweight, self-contained mathematics and | miwi | 2012-05-25 | 5 | -0/+101 |
* | KDE/FreeBSD team presents long awaited KDE SC 4.8.3! | makc | 2012-05-25 | 24 | -517/+221 |
* | Chase PyQT update | makc | 2012-05-25 | 4 | -1/+4 |
* | - Update to 1.1.0. | stephen | 2012-05-25 | 2 | -4/+3 |
* | - Update to 1.0.10. | stephen | 2012-05-25 | 2 | -4/+3 |
* | Update to 3.0603. | tobez | 2012-05-24 | 3 | -6/+14 |
* | Update to 1.6607. | tobez | 2012-05-24 | 2 | -3/+3 |
* | Update to 0.07. | tobez | 2012-05-24 | 2 | -3/+3 |
* | Update to 7.2. | tobez | 2012-05-24 | 2 | -3/+3 |
* | - Update to 0.05 | wen | 2012-05-24 | 2 | -3/+3 |
* | update to 12.04-2 | bf | 2012-05-24 | 2 | -4/+3 |
* | Use packages rather than files for dependencies, to avoid breaking when | crees | 2012-05-23 | 1 | -2/+2 |
* | update lang/sbcl to 1.0.57, and adjust dependent ports | bf | 2012-05-23 | 4 | -4/+5 |
* | - Update to 2.2.0. | stephen | 2012-05-21 | 2 | -4/+5 |
* | defer expiration pending updates | bf | 2012-05-21 | 1 | -1/+1 |
* | prevent some of the older base system texinfo utilities from being | bf | 2012-05-21 | 1 | -0/+4 |
* | Make the port build with the upcoming Qt 4.8.x series. | rakuco | 2012-05-20 | 1 | -0/+11 |
* | Mark IGNORE with php 5.4 and set 5.3 as default. | ale | 2012-05-20 | 2 | -0/+4 |
* | - Bump PORTREVISION for graphics/gdal shlib change | sunpoet | 2012-05-19 | 1 | -2/+2 |
* | - Fix *_DEPENDS: this port does not require p5-Class-Fields and p5-Class-Fiel... | sunpoet | 2012-05-18 | 1 | -3/+1 |
* | Mark BROKEN= does not build with boost-1.48.0 | makc | 2012-05-17 | 1 | -0/+2 |
* | readd php 5.3.13 and all its modules as php53* | flo | 2012-05-16 | 3 | -0/+30 |
* | - Change master_sites. | stephen | 2012-05-16 | 1 | -2/+2 |
* | - Use use_autotools to add autoconf dependency. | stephen | 2012-05-15 | 1 | -2/+7 |
* | - Update to 5.0. | stephen | 2012-05-15 | 27 | -124/+605 |
* | - Update to 1.3.1. | stephen | 2012-05-14 | 2 | -3/+3 |
* | - Add gnu_configure to Makefile. | stephen | 2012-05-13 | 2 | -12/+2 |
* | - Update to 1.1.3. | stephen | 2012-05-13 | 2 | -4/+4 |
* | - Update to 1.1.1. | stephen | 2012-05-13 | 3 | -8/+15 |
* | 2012-05-10 archivers/php4-bz2: php4 is EOLed | bapt | 2012-05-12 | 4 | -48/+0 |
* | Update to 15.8.4 | ehaupt | 2012-05-11 | 2 | -3/+3 |
* | defer expiration pending updates | bf | 2012-05-10 | 2 | -2/+2 |
* | - Add a new port: math/R-cran-labeling | tota | 2012-05-10 | 4 | -0/+27 |
* | - Update to 1.1.3. | stephen | 2012-05-10 | 2 | -3/+3 |
* | - Add patch to enable build of cephes subpackage. This adds floating point | stephen | 2012-05-10 | 3 | -42/+1491 |
* | Update to patch level 10. | ale | 2012-05-09 | 2 | -3/+18 |
* | Update to 5.0.5 release. | ale | 2012-05-09 | 2 | -3/+3 |
* | - Update to 0.5-46 | tota | 2012-05-08 | 2 | -4/+3 |
* | - Update to 0.03 | culot | 2012-05-08 | 2 | -4/+5 |
* | . Restore the bitmap terminal. | glewis | 2012-05-08 | 1 | -1/+3 |
* | Pass maintainership of almost of my "p5-*" ports to "perl@". | skv | 2012-05-07 | 5 | -5/+5 |
* | - Update to 0.9-99 | wen | 2012-05-07 | 2 | -4/+3 |
* | - Bump PORTREVISION to chase the update of graphics/proj | wen | 2012-05-07 | 1 | -1/+2 |
* | UFC (Unified Form-assembly Code) is a unified framework for finite element | wen | 2012-05-07 | 5 | -0/+52 |
* | - Mark BROKEN: does not configure | pav | 2012-05-07 | 1 | -0/+2 |
* | - apply BACKPORTS patch unconditionally and remove BACKPORTS option | rm | 2012-05-05 | 1 | -2/+2 |
* | - update math/R-cran-psych to 1.2.1 [1] | bf | 2012-05-05 | 32 | -82/+113 |
* | - Disable installing INFO on float flavor | miwi | 2012-05-04 | 2 | -9/+12 |
* | take | eadler | 2012-05-03 | 1 | -1/+1 |
* | - Update to 1.1.2. | stephen | 2012-05-02 | 2 | -5/+3 |
* | Update to 15.8.3 | ehaupt | 2012-05-01 | 2 | -3/+3 |
* | - Update to 0.11 | swills | 2012-05-01 | 2 | -3/+3 |
* | - Assign clsung's p5- ports to perl@ | swills | 2012-05-01 | 2 | -2/+2 |
* | Unbreak by updating to svn snapshot | makc | 2012-04-27 | 6 | -50/+81 |
* | Add option to build help file | makc | 2012-04-27 | 4 | -21/+42 |
* | - Update to 2.15 | nivit | 2012-04-25 | 3 | -108/+16 |
* | - Update to 0.0-19 | tota | 2012-04-25 | 2 | -3/+3 |
* | Better handling of shared lib. | maho | 2012-04-25 | 4 | -15/+41 |
* | Drop maintainership. | rene | 2012-04-24 | 1 | -1/+1 |
* | update math/maxima to 5.27.0, and adjust a dependent port | bf | 2012-04-23 | 6 | -275/+243 |
* | update to 1.0.56 and adjust dependent ports; switch to the packaged | bf | 2012-04-23 | 2 | -1/+2 |
* | - Update to 2.2.6 | wen | 2012-04-23 | 2 | -4/+3 |
* | - Update to 4.2.5 | jgh | 2012-04-23 | 2 | -4/+4 |
* | - Update to 3.1 | lwhsu | 2012-04-22 | 3 | -5/+23 |
* | - Update to 0.0-18 | tota | 2012-04-22 | 2 | -3/+3 |
* | - Update to 2012.04.21 | dhn | 2012-04-22 | 3 | -5/+9 |
* | - Update to 4.1 | scheidell | 2012-04-20 | 7 | -510/+167 |
* | Don't install *.orig files to unbreak build on pointyhat [1] | makc | 2012-04-20 | 1 | -2/+4 |
* | - Update to 20120418. | stephen | 2012-04-19 | 1 | -6/+1 |
* | - Remove. | stephen | 2012-04-19 | 5 | -33/+0 |
* | - Update to 0.4.0. | stephen | 2012-04-19 | 2 | -7/+15 |
* | Update to 0.11. | tobez | 2012-04-18 | 2 | -4/+4 |
* | - Update to 3.12 | wen | 2012-04-18 | 2 | -3/+3 |
* | - Update to 0.93 | wen | 2012-04-18 | 2 | -4/+4 |
* | - Update to 0.7 | wen | 2012-04-18 | 3 | -429/+406 |
* | - Add forgotten "=" in previous commit. | stephen | 2012-04-17 | 1 | -1/+1 |
* | - Add dependency to math/octave-forge-io. | stephen | 2012-04-17 | 1 | -0/+2 |
* | - Update to 1.15 | wen | 2012-04-17 | 2 | -3/+3 |
* | Fix build with upcoming Qt 4.8 | makc | 2012-04-17 | 7 | -4/+44 |
* | - Update to 0.8.2. | stephen | 2012-04-16 | 3 | -17/+3 |
* | - fix entries sorting | rm | 2012-04-15 | 1 | -1/+1 |
* | Add new port: math/py-viper | jgh | 2012-04-15 | 5 | -0/+82 |
* | Add new port: math/py-ufl | jgh | 2012-04-15 | 5 | -0/+239 |
* | Add new port: math/py-fiat | jgh | 2012-04-15 | 5 | -0/+120 |
* | - Update to 1.1.0. | stephen | 2012-04-13 | 2 | -4/+3 |
* | - update to 12.04 | rm | 2012-04-13 | 3 | -6/+9 |
* | . Update to 4.6.0. | glewis | 2012-04-13 | 3 | -56/+64 |
* | FFC works as a compiler for multilinear forms by generating code (C++) for | rm | 2012-04-13 | 6 | -0/+224 |
* | - Update to 1.1.1. | stephen | 2012-04-12 | 2 | -4/+3 |
* | php4 is EOLed, let's deprecate it | bapt | 2012-04-12 | 2 | -0/+6 |
* | - Update to 0.10.0. | stephen | 2012-04-11 | 2 | -6/+3 |
* | - Update to 1.1.0. | stephen | 2012-04-11 | 4 | -9/+7 |
* | - Update to 2.5.5. | stephen | 2012-04-11 | 2 | -4/+3 |
* | - Update to 4.2.4. | stephen | 2012-04-11 | 2 | -4/+3 |
* | - Update to 0.1.4. | stephen | 2012-04-11 | 2 | -5/+4 |
* | - Update to 1.3.0. | stephen | 2012-04-11 | 2 | -4/+3 |
* | - Update to 0.0.9. | stephen | 2012-04-11 | 2 | -5/+16 |
* | - Update to 2.0.0. | stephen | 2012-04-11 | 2 | -5/+13 |
* | - Update to 1.4.1. | stephen | 2012-04-11 | 2 | -4/+3 |
* | - Update to 1.0.18. | stephen | 2012-04-11 | 2 | -7/+5 |
* | - Updating to 1.3.6. | stephen | 2012-04-11 | 2 | -5/+4 |
* | - Update to 1.1.0. | stephen | 2012-04-11 | 2 | -5/+13 |
* | - Update to 2.3.50. | stephen | 2012-04-11 | 2 | -4/+3 |
* | - Update to 1.3.0. | stephen | 2012-04-11 | 2 | -4/+3 |
* | Add relevant files to build octave-forge while updating 3.4 to 3.6. | maho | 2012-04-11 | 3 | -0/+39 |
* | Bump port revision of all the octave-forge ports, | maho | 2012-04-11 | 84 | -63/+92 |
* | Update to 3.6.1. | maho | 2012-04-11 | 2 | -5/+4 |
* | - Added Portscout variable for blocking earlier version reporting | miwi | 2012-04-11 | 2 | -10/+12 |
* | - Update to 1c2 | miwi | 2012-04-11 | 5 | -20/+102 |
* | - Update to 2.2 | miwi | 2012-04-10 | 3 | -6/+16 |
* | Mark as deprecated and set expiration to 2012-05-10 for ports that are mark a... | bapt | 2012-04-10 | 4 | -0/+12 |
* | - float flavor installs .info too | pav | 2012-04-10 | 1 | -1/+1 |
* | - Update to 0.14.7 | wen | 2012-04-09 | 2 | -4/+3 |
* | - Update to 3.5.5 | wen | 2012-04-09 | 2 | -4/+3 |
* | Perl module which lets you calculate with strings (specifically passwords, but | swills | 2012-04-09 | 5 | -0/+44 |
* | Replace USE_GCC=4.5+ by USE_GCC=4.6+ which has been transparently | gerald | 2012-04-08 | 1 | -1/+1 |
* | - Unbreak | miwi | 2012-04-06 | 1 | -3/+1 |
* | - Update to 0.19 | sunpoet | 2012-04-06 | 2 | -3/+5 |
* | - Update to 0.1.1.1 | wen | 2012-04-05 | 2 | -4/+3 |
* | - Update to 0.6.10 | wen | 2012-04-05 | 3 | -33/+18 |
* | Scriptable bar graph generator with stacked and clustered bars support, using | cs | 2012-04-05 | 5 | -0/+76 |
* | - Update to 0.0-17 | tota | 2012-04-04 | 2 | -4/+3 |
* | - Mark BROKEN: does not configure | pav | 2012-04-03 | 1 | -0/+2 |
* | - Update to 0.08 | sunpoet | 2012-04-03 | 2 | -7/+8 |
* | update to 1.9.8 | bf | 2012-04-01 | 3 | -5/+5 |
* | - Update to 2.2.0 | dhn | 2012-03-31 | 5 | -34/+27 |
* | - Update to 0.9.98 | wen | 2012-03-31 | 2 | -4/+3 |
* | - Update to 0.27 | wen | 2012-03-30 | 2 | -5/+4 |
* | - Update to 0.18 | culot | 2012-03-28 | 2 | -5/+10 |
* | - update to 2.0-12 | rm | 2012-03-28 | 2 | -4/+3 |
* | - Update to 0.8-6 | tota | 2012-03-26 | 2 | -4/+3 |
* | Update to 15.8.2 | ehaupt | 2012-03-26 | 2 | -3/+3 |
* | - Update coq to 8.3.3 | johans | 2012-03-25 | 5 | -54/+361 |
* | - Update to version 1.1.6 | miwi | 2012-03-25 | 3 | -443/+467 |