| Commit message (Expand) | Author | Age | Files | Lines |
* | x86 stable wrt bug #516464 | ![](//www.gravatar.com/avatar/c0b3d658791eacfc3f8897753ff3caea?s=13&d=retro) Paweł Hajdan | 2014-07-27 | 3 | -22/+23 |
* | Stable for amd64 wrt bug #516888 | ![](//www.gravatar.com/avatar/7d50977545a21d94b344e1dbf91ec1bf?s=13&d=retro) José María Alonso | 2014-07-22 | 3 | -8/+15 |
* | Stable for amd64 wrt bug #511442 | ![](//www.gravatar.com/avatar/7d50977545a21d94b344e1dbf91ec1bf?s=13&d=retro) José María Alonso | 2014-07-18 | 3 | -5/+22 |
* | Drop to maintainer needed. | ![](//www.gravatar.com/avatar/78597b80d602e2938a22216f76b86b8c?s=13&d=retro) Michael Palimaka | 2014-07-16 | 3 | -9/+25 |
* | remove old | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-07-12 | 6 | -269/+10 |
* | another version bump | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-07-04 | 3 | -16/+190 |
* | version bump wrt #513862 | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-07-04 | 5 | -10/+365 |
* | bump to prerelease version as latest release fails | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-07-04 | 3 | -6/+170 |
* | Bump agda to 2.4.0.1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-07-02 | 3 | -5/+136 |
* | Bump agda-stdlib to 0.8 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-07-02 | 4 | -7/+85 |
* | Thanks to vikraman for writing the agda-lib-ffi ebuild | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-07-02 | 3 | -1/+57 |
* | Thanks to vikraman for writing the agda-lib-ffi ebuild | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-07-02 | 2 | -0/+12 |
* | fix NTL test build wrt #516028 | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-07-02 | 4 | -19/+44 |
* | Fix typo (bug #515670 by Juergen Rose). | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2014-06-29 | 3 | -5/+18 |
* | Remove old | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-06-27 | 5 | -129/+10 |
* | bump to 2.13 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-06-26 | 3 | -7/+77 |
* | Use waf 1.7.16 instead of 1.7.6 in kodkod to try to fix Bug 513978. Specify t... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-06-22 | 3 | -10/+22 |
* | version bump | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-06-20 | 3 | -16/+85 |
* | Fixed missing include version file for java option and forced -j1 until prope... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-06-09 | 4 | -17/+49 |
* | Fixed for glibc underlinking, thanks to Ted Tanberry and Kobboi, bug #512472 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-06-09 | 4 | -32/+45 |
* | Spread more death | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-06-09 | 4 | -15/+15 |
* | Stable for amd64 wrt bug #509002 | ![](//www.gravatar.com/avatar/7d50977545a21d94b344e1dbf91ec1bf?s=13&d=retro) José María Alonso | 2014-06-09 | 3 | -9/+16 |
* | Fix distfile mess (bug #512182) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-06-03 | 3 | -10/+13 |
* | Fix digest because upstream replaced distfiles | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-06-02 | 1 | -13/+3 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-05-29 | 3 | -5/+145 |
* | Version bump, switch to EAPI5 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-05-28 | 3 | -7/+62 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-05-28 | 4 | -65/+50 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-05-28 | 8 | -220/+39 |
* | add myself as maintainer | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-05-18 | 3 | -17/+27 |
* | version bump wrt #507572 | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2014-05-18 | 7 | -4/+236 |
* | Bump to 2.11 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-05-09 | 4 | -7/+112 |
* | Import from sage-on-gentoo overlay | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-05-08 | 6 | -5/+399 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2014-05-08 | 4 | -36/+28 |
* | Stable for x86, wrt bug #506792 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2014-05-04 | 3 | -8/+21 |
* | Use python-2 for gtest (bug 509462) | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-05-03 | 3 | -11/+14 |
* | bump to 1.6.2 | ![](//www.gravatar.com/avatar/5171e90285b0691175a7325bf4fa6a5c?s=13&d=retro) Thomas Kahle | 2014-04-23 | 3 | -13/+46 |
* | Fix thanks. | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2014-04-18 | 2 | -6/+6 |
* | Removed checking of symbols in linear algebra libraries bug #507782 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-17 | 3 | -39/+10 |
* | Fix LICENSE, add mirror and bindist restrictions, bug 470798. | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2014-04-16 | 3 | -15/+26 |
* | remove spqr check, not needed in octave anyway, bug #507782 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-16 | 3 | -8/+10 |
* | Fixed bug #504470, thanks jer, fixed for gui prefix, add sub-slotted dependen... | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-15 | 11 | -950/+139 |
* | Re-add for amd64-fbsd | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-15 | 3 | -2/+72 |
* | amd64 stable, bug #506792 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2014-04-13 | 3 | -8/+11 |
* | re-add missing patch | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-09 | 5 | -117/+18 |
* | Backport systemd unit files for faster stabilization (#506792 by Paolo Pedroni) | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2014-04-07 | 3 | -5/+80 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2014-04-06 | 3 | -29/+27 |
* | Version bump | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-04-05 | 8 | -156/+113 |
* | sci-mathematics/genius: Add fix for gcc-4.8 | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-04-05 | 4 | -10/+57 |
* | Cleaning old | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2014-03-30 | 3 | -103/+22 |
* | Fix for readline 6.3, thanks Helmut Jarausch bug #505886 | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-03-27 | 5 | -13/+32 |