| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove all old-style digests from the system and regen the Manifest files. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2008-01-31 | 5 | -67/+0 |
* | restrict also installsources as it has the same problem with ocaml... it kill... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-16 | 1 | -11/+11 |
* | restrict also installsources as it has the same problem with ocaml... it kill... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-16 | 2 | -3/+7 |
* | disable again parallel make... not safe in some rare cases, bug #197389 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-16 | 1 | -8/+18 |
* | disable again parallel make... not safe in some rare cases, bug #197389 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-16 | 2 | -4/+6 |
* | whitespace | ![](//www.gravatar.com/avatar/d2f02b59de7fb41fa107eeebf69d0573?s=13&d=retro) Michael Sterrett | 2008-01-03 | 1 | -14/+4 |
* | whitespace | ![](//www.gravatar.com/avatar/d2f02b59de7fb41fa107eeebf69d0573?s=13&d=retro) Michael Sterrett | 2008-01-03 | 1 | -2/+1 |
* | Add support for building without ocamlopt, import smimou's patches from debia... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-03 | 1 | -16/+24 |
* | Add support for building without ocamlopt, import smimou's patches from debia... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2008-01-03 | 5 | -7/+77 |
* | fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-19 | 1 | -15/+15 |
* | fix depends so that portage doesnt try to downgrade ocaml if you have 3.10 in... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-19 | 3 | -5/+10 |
* | no need to dodoc the license | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-17 | 1 | -19/+19 |
* | no need to dodoc the license | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-17 | 4 | -7/+11 |
* | version bump | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-17 | 1 | -7/+15 |
* | version bump | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-12-17 | 3 | -1/+75 |
* | quote directory variables | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 1 | -15/+15 |
* | quote directory variables | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 3 | -10/+14 |
* | remove old versions | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 1 | -28/+7 |
* | remove old versions | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 6 | -154/+6 |
* | version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though) | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 1 | -7/+15 |
* | version bump, bug #196533, compatible with ocaml 3.10 (needs camlp5 though) | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-20 | 3 | -1/+75 |
* | fix configure call when ide and norealanalysis useflags are set, bug #195483 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-11 | 1 | -8/+18 |
* | fix configure call when ide and norealanalysis useflags are set, bug #195483 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2007-10-11 | 2 | -3/+6 |
* | Version bump (see bug #192522). | ![](//www.gravatar.com/avatar/95df65da160c75c8ec7ddd1e88c44cce?s=13&d=retro) Markus Dittrich | 2007-09-29 | 1 | -14/+12 |
* | Version bump (see bug #192522). | ![](//www.gravatar.com/avatar/95df65da160c75c8ec7ddd1e88c44cce?s=13&d=retro) Markus Dittrich | 2007-09-29 | 3 | -2/+76 |
* | Removing mattam from metadata due to his retirement (see #30021 for reference). | ![](//www.gravatar.com/avatar/8811f0141e40b01e185015f189830277?s=13&d=retro) Christian Heim | 2007-08-30 | 1 | -12/+12 |
* | Removing mattam from metadata due to his retirement (see #30021 for reference). | ![](//www.gravatar.com/avatar/8811f0141e40b01e185015f189830277?s=13&d=retro) Christian Heim | 2007-08-30 | 2 | -4/+4 |
* | Reassigning to sci from math-proof (see #138059 for reference). | ![](//www.gravatar.com/avatar/8811f0141e40b01e185015f189830277?s=13&d=retro) Christian Heim | 2007-07-31 | 1 | -12/+12 |
* | Reassigning to sci from math-proof (see #138059 for reference). | ![](//www.gravatar.com/avatar/8811f0141e40b01e185015f189830277?s=13&d=retro) Christian Heim | 2007-07-31 | 2 | -2/+5 |
* | (QA) RESTRICT clean up. | ![](//www.gravatar.com/avatar/b9e30964c7bbc7633a706ef16a4f57c7?s=13&d=retro) Piotr Jaroszyński | 2007-07-02 | 1 | -16/+16 |
* | (QA) RESTRICT clean up. | ![](//www.gravatar.com/avatar/b9e30964c7bbc7633a706ef16a4f57c7?s=13&d=retro) Piotr Jaroszyński | 2007-07-02 | 3 | -7/+11 |
* | Redigest for Manifest2 | ![](//www.gravatar.com/avatar/a01af1699499777747fe2dcef3895835?s=13&d=retro) Markus Ullmann | 2007-02-22 | 1 | -8/+18 |
* | Redigest for Manifest2 | ![](//www.gravatar.com/avatar/a01af1699499777747fe2dcef3895835?s=13&d=retro) Markus Ullmann | 2007-02-22 | 1 | -2/+5 |
* | sci-mathematics/coq stable on ppc. | ![](//www.gravatar.com/avatar/9718cc59e3eb90b1c13b72ee976b4acb?s=13&d=retro) Michael Hanselmann | 2006-09-24 | 1 | -18/+8 |
* | sci-mathematics/coq stable on ppc. | ![](//www.gravatar.com/avatar/9718cc59e3eb90b1c13b72ee976b4acb?s=13&d=retro) Michael Hanselmann | 2006-09-24 | 2 | -3/+6 |
* | Stable on sparc | ![](//www.gravatar.com/avatar/733ca7409dccf91dba49f05985a294f4?s=13&d=retro) Gustavo Zacarias | 2006-09-15 | 1 | -8/+18 |
* | Stable on sparc | ![](//www.gravatar.com/avatar/733ca7409dccf91dba49f05985a294f4?s=13&d=retro) Gustavo Zacarias | 2006-09-15 | 2 | -3/+6 |
* | Mark stable on x86, ppc and amd64 | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-09-14 | 1 | -19/+9 |
* | Mark stable on x86, ppc and amd64 | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-09-14 | 2 | -3/+9 |
* | Added math-proof herd as maintainer of this package instead of sci. | ![](//www.gravatar.com/avatar/629af883c4bdcad3ba6a8568dc71a0b4?s=13&d=retro) Alexandre Buisse | 2006-07-01 | 1 | -19/+29 |
* | Added math-proof herd as maintainer of this package instead of sci. | ![](//www.gravatar.com/avatar/629af883c4bdcad3ba6a8568dc71a0b4?s=13&d=retro) Alexandre Buisse | 2006-07-01 | 2 | -2/+6 |
* | Stable on SPARC. | ![](//www.gravatar.com/avatar/b22692e76a0538db77fee9790d10a251?s=13&d=retro) Jason Wever | 2006-05-03 | 1 | -6/+39 |
* | Stable on SPARC. | ![](//www.gravatar.com/avatar/b22692e76a0538db77fee9790d10a251?s=13&d=retro) Jason Wever | 2006-05-03 | 4 | -5/+18 |
* | Fix bad path of patch. | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-06 | 1 | -2/+2 |
* | Fix bad path of patch. | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-06 | 3 | -9/+12 |
* | Remove old version, incompatible with current ocaml and move current to stabl... | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-04 | 1 | -4/+2 |
* | Remove old version, incompatible with current ocaml and move current to stabl... | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-04 | 4 | -44/+7 |
* | Added latest version, compatible with ocaml-3.09 | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-04 | 1 | -4/+4 |
* | Added latest version, compatible with ocaml-3.09 | ![](//www.gravatar.com/avatar/4e05d3345c14429af92dceef0e6555cf?s=13&d=retro) Matthieu Sozeau | 2006-02-04 | 7 | -33/+37 |
* | added ~amd64 to KEYWORDS, fixes #88950 | ![](//www.gravatar.com/avatar/e0ac91899b6fc10e8b2c85aa27faf87f?s=13&d=retro) Jan Brinkmann | 2005-04-13 | 1 | -4/+14 |