| Commit message (Expand) | Author | Age | Files | Lines |
* | Stable for ppc64, wrt bug #494330 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2014-01-19 | 1 | -15/+15 |
* | Stable for ppc64, wrt bug #494330 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2014-01-19 | 2 | -3/+6 |
* | Stable for alpha, wrt bug #494330 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2014-01-18 | 2 | -3/+6 |
* | Stable for alpha, wrt bug #494330 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2014-01-18 | 1 | -5/+15 |
* | amd64 stable, bug #494330 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2014-01-18 | 1 | -5/+5 |
* | amd64 stable, bug #494330 | ![](//www.gravatar.com/avatar/62f8ca529bbf9ee9aa3c1b4bf6619d17?s=13&d=retro) Pacho Ramos | 2014-01-18 | 2 | -5/+8 |
* | Ubundle amd, colamd and zlib, removed old | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-01-16 | 1 | -5/+15 |
* | Ubundle amd, colamd and zlib, removed old | ![](//www.gravatar.com/avatar/0357aa5e2365f21d213446a991110e9e?s=13&d=retro) Sebastien Fabbro | 2014-01-16 | 6 | -61/+139 |
* | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-01-15 | 1 | -16/+7 |
* | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2014-01-15 | 3 | -30/+446 |
* | Bump | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2014-01-14 | 1 | -3/+3 |
* | Bump | ![](//www.gravatar.com/avatar/9a7dd4df424714072d54afbd75799103?s=13&d=retro) Patrick Lauer | 2014-01-14 | 2 | -5/+11 |
* | NMU: Version bump. Fixes bug #478496. | ![](//www.gravatar.com/avatar/f5112178a0c945866167c680fa309e20?s=13&d=retro) Manuel Rüger | 2014-01-13 | 1 | -11/+4 |
* | NMU: Version bump. Fixes bug #478496. | ![](//www.gravatar.com/avatar/f5112178a0c945866167c680fa309e20?s=13&d=retro) Manuel Rüger | 2014-01-13 | 3 | -2/+152 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2014-01-11 | 1 | -16/+18 |
* | Version bump | ![](//www.gravatar.com/avatar/2fc38eebd25a329f04c24e1e8bd47fb5?s=13&d=retro) Andrey Grozin | 2014-01-11 | 2 | -2/+206 |
* | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-08 | 1 | -16/+16 |
* | sci-mathematics/prover9: Fix breakage due to dropping make target, #497530; R... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-08 | 2 | -6/+16 |
* | [QA] Change !use by ! use such that it negates the USE flag instead of expand... | ![](//www.gravatar.com/avatar/7e520a8467234b9fadf34ab566775f19?s=13&d=retro) Tom Wijsman | 2014-01-07 | 1 | -8/+12 |
* | [QA] Change !use by ! use such that it negates the USE flag instead of expand... | ![](//www.gravatar.com/avatar/7e520a8467234b9fadf34ab566775f19?s=13&d=retro) Tom Wijsman | 2014-01-07 | 4 | -11/+21 |
* | sci-mathematics/twelf: Punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 1 | -8/+18 |
* | sci-mathematics/twelf: Punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 3 | -37/+40 |
* | sci-mathematics/cgal: Drop old; punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 1 | -16/+17 |
* | sci-mathematics/cgal: Drop old; punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 6 | -229/+18 |
* | sci-mathematics/octave: Drop old; punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 1 | -16/+14 |
* | sci-mathematics/octave: Drop old; punt base.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 2 | -107/+5 |
* | sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 1 | -8/+18 |
* | sci-mathematics/prover9: Punt base.eclass; bump to EAPI=5; drop unnecessary (... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2014-01-06 | 3 | -85/+89 |
* | Put in a note that compileWriteUdg.o will take a long time to compile. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2013-12-28 | 1 | -2/+2 |
* | Put in a note that compileWriteUdg.o will take a long time to compile. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2013-12-28 | 2 | -2/+6 |
* | Bug #492696: version bump. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2013-12-28 | 1 | -3/+5 |
* | Bug #492696: version bump. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2013-12-28 | 2 | -1/+140 |
* | sci-mathematics/jags: Drop old | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-24 | 1 | -18/+16 |
* | sci-mathematics/jags: Drop old | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-24 | 3 | -50/+7 |
* | Stable for x86, wrt bug #487024 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2013-12-24 | 1 | -6/+16 |
* | Stable for x86, wrt bug #487024 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2013-12-24 | 2 | -3/+6 |
* | fix build with +server wrt #494362 | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2013-12-23 | 1 | -9/+9 |
* | fix build with +server wrt #494362 | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2013-12-23 | 2 | -3/+6 |
* | Stable for HPPA (bug #494330). | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2013-12-22 | 1 | -6/+6 |
* | Stable for HPPA (bug #494330). | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2013-12-22 | 2 | -4/+7 |
* | version bump | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2013-12-14 | 1 | -9/+15 |
* | version bump | ![](//www.gravatar.com/avatar/8e92a6a352700bca247f577243d5282a?s=13&d=retro) Julian Ospald | 2013-12-14 | 5 | -1/+305 |
* | sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-11 | 1 | -8/+18 |
* | sci-mathematics/mlpy: Bump to EAPI=5 and distutils-r1.eclass | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-11 | 3 | -20/+27 |
* | Thanks to vikraman: The agda-lib-ffi package provides some additional haskell... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2013-12-10 | 1 | -9/+6 |
* | Thanks to vikraman: The agda-lib-ffi package provides some additional haskell... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2013-12-10 | 3 | -65/+38 |
* | Bump agda to 2.3.2.2-r1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2013-12-10 | 1 | -4/+6 |
* | Bump agda to 2.3.2.2-r1 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2013-12-10 | 2 | -1/+114 |
* | sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-07 | 1 | -1/+23 |
* | sci-mathematics/octave: Get gcc-4.8 fix from debian, #492488, https://savanna... | ![](//www.gravatar.com/avatar/9e34d19800cd83b303605a9bbe0882d3?s=13&d=retro) Justin Lecher | 2013-12-07 | 3 | -1/+175 |