Age | Commit message (Expand) | Author |
2023-05-04 | gnu: armadillo: Remove input labels. | Ludovic Courtès |
2023-05-04 | gnu: dune-common: Skip tests that fail on aarch64-linux. | Felix Gruber |
2023-05-02 | gnu: dune-pdelab: Update to 2.8.0-0.d5dddb6. | Felix Gruber |
2023-05-02 | gnu: dune-functions: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-typetree: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-subgrid: Update to 2.9.0-1-e83f3f9. | Felix Gruber |
2023-05-02 | gnu: dune-alugrid: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-localfunctions: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-istl: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-grid: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-uggrid: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-geometry: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: dune-common: Update to 2.9.0. | Felix Gruber |
2023-05-02 | gnu: hypre: Add missing TeX Live packages. | Ludovic Courtès |
2023-04-27 | gnu: sleef: Adjust inputs. | Ricardo Wurmus |
2023-04-14 | Merge branch 'master' into core-updates. | Maxim Cournoyer |
2023-04-12 | gnu: Purge pre-1.3.0 deprecated packages. | Bruno Victal |
2023-04-12 | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler |
2023-03-31 | Merge branch 'master' into staging | Maxim Cournoyer |
2023-03-30 | gnu: hdf5-1.8: Delete trailing #t. | Maxim Cournoyer |
2023-03-30 | gnu: Add hdf5@1.14. | Greg Hogan |
2023-03-30 | gnu: hdf5@1.12: Update to 1.12.2. | Greg Hogan |
2023-03-30 | gnu: hdf5@1.10: Update to 1.10.9. | Greg Hogan |
2023-03-30 | gnu: hdf5@1.8: Update to 1.8.23. | Greg Hogan |
2023-03-30 | gnu: Add scilab. | Nicolas Graves |
2023-03-30 | gnu: Add suitesparse-3. | Nicolas Graves |
2023-03-30 | gnu: matio: Add header file. | Nicolas Graves |
2023-03-27 | gnu: gnuplot: Update to 5.4.6. | Philippe SWARTVAGHER |
2023-03-23 | gnu: octave: Remove input labels. | Maxim Cournoyer |
2023-03-23 | gnu: octave: Update to 8.1.0. | Greg Hogan |
2023-03-21 | gnu: Add dozenal. | Jake Leporte |
2023-03-20 | Merge remote-tracking branch 'origin/master' into core-updates | Andreas Enge |
2023-03-12 | gnu: Add scasp. | Liliana Marie Prikler |
2023-03-02 | Merge remote-tracking branch 'savannah/master' into core-updates | Christopher Baines |
2023-03-05 | gnu: Add java-smtinterpol. | Liliana Marie Prikler |
2023-03-05 | gnu: Add boolector. | Liliana Marie Prikler |
2023-03-05 | gnu: Add btor2tools. | Liliana Marie Prikler |
2023-03-05 | gnu: Add yices. | Liliana Marie Prikler |
2023-03-05 | gnu: Add libpoly. | Liliana Marie Prikler |
2023-03-05 | gnu: Add cudd. | Liliana Marie Prikler |
2023-02-19 | gnu: Use HTTPS package home pages wherever possible. | Tobias Geerinckx-Rice |
2023-02-21 | gnu: python-clingo: Fix invalid G-expression input. | Simon Tournier |
2023-02-19 | gnu: Add python-clorm. | Liliana Marie Prikler |
2023-02-19 | gnu: python-clingo: Install distribution information. | Liliana Marie Prikler |
2023-02-17 | gnu: Make nothing depend on QtWebKit. | Leo Famulari |
2023-02-11 | gnu: Remove opencascade-oce. | Vinicius Monego |
2023-02-08 | gnu: wxmaxima: Update to 22.12.0. | Andy Tai |
2023-01-30 | gnu: texlive-graphics: Use over deprecated texlive-latex-graphics. | Efraim Flashner |
2023-01-30 | Merge remote-tracking branch 'origin/master' into core-updates | Efraim Flashner |
2023-01-28 | gnu: octave: Update to 7.3.0. | Andy Tai |