| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/polymake: add github upstream metadata | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-07-04 | 1 | -0/+3 |
* | sci-mathematics/fricas: Drop trivial Emacs site-init file | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2023-07-03 | 2 | -3/+1 |
* | sci-mathematics/giac: fix and re-enable two disabled tests. | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-06-30 | 4 | -36/+74 |
* | sci-mathematics/opensmt: bump to 2.5.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -0/+72 |
* | sci-mathematics/opensmt: drop old 2.4.3-r2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -72/+0 |
* | sci-mathematics/coq: bump to 8.17.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -0/+113 |
* | sci-mathematics/coq: drop old 8.13.0-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-28 | 2 | -89/+0 |
* | sci-mathematics/cryptominisat: bump to 5.11.11 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-06-25 | 2 | -0/+38 |
* | sci-mathematics/giac: add 1.9.0.55 | ![](//www.gravatar.com/avatar/89691ba1d1ed8538e2435b9199a115e4?s=13&d=retro) Michael Orlitzky | 2023-06-22 | 3 | -0/+213 |
* | sci-mathematics/slepc: add 3.19.1 | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2023-06-19 | 2 | -0/+127 |
* | sci-mathematics/petsc: add 3.19.2 | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2023-06-19 | 2 | -0/+237 |
* | sci-mathematics/cgal: add 5.5.2 | ![](//www.gravatar.com/avatar/bd7d4a4adfa53f9f0bb57eb7b45de126?s=13&d=retro) Matthias Maier | 2023-06-19 | 2 | -0/+62 |
* | sci-mathematics/jags: Stabilize 4.3.1 amd64, #908183 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-06-10 | 1 | -2/+2 |
* | sci-mathematics/octave: Stabilize 8.1.0 amd64, #908186 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/unuran: Stabilize 1.9.0 amd64, #908185 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/octave: Stabilize 8.1.0 arm64, #908186 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/nauty: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/normaliz: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/ginac: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/wxmaxima: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/unuran: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/singular: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/rw: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/rngstreams: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/pspp: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/prng: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/polymake: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/planarity: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/pari-data: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/otter: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/octave: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/num-utils: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/maxima: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/mathomatic: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/lrcalc: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -4/+4 |
* | sci-mathematics/jags: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/gmp-ecm: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/gmm: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/gimps: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -3/+3 |
* | sci-mathematics/gfan: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/frobby: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/flintqs: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/flint: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/euler: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/ent: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/eclib: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |
* | sci-mathematics/coq: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 2 | -2/+2 |
* | sci-mathematics/cliquer: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/cgal: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -2/+2 |
* | sci-mathematics/arb: destabilize for ~x86 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-06-09 | 1 | -1/+1 |