Age | Commit message (Expand) | Author |
2024-10-31 | gnu: boolector: Fix build. | Zheng Junjie |
2024-10-31 | gnu: louvain-community: Fix home-page. | Zheng Junjie |
2024-10-31 | gnu: louvain-community: Don't tune native. | Zheng Junjie |
2024-10-24 | gnu: Add python-primecountpy. | Vinicius Monego |
2024-10-24 | gnu: primecount: Update to 7.14. | Sharlatan Hellseher |
2024-10-24 | gnu: Add primecount. | Vinicius Monego |
2024-10-24 | gnu: packages/maths: Sort alphabetically. | Sharlatan Hellseher |
2024-10-24 | gnu: packages/maths: Sort alphabetically. | Sharlatan Hellseher |
2024-10-06 | gnu: cryptominisat: Update to 5.11.22. | Liliana Marie Prikler |
2024-10-06 | gnu: Add cadiback-for-cryptominisat. | Liliana Marie Prikler |
2024-10-06 | gnu: Add cadiback. | Liliana Marie Prikler |
2024-10-06 | gnu: Add cadical. | Liliana Marie Prikler |
2024-10-06 | gnu: lingeling: Update to 1.0.0. | Liliana Marie Prikler |
2024-10-06 | gnu: z3: Update to 4.13.0. | Liliana Marie Prikler |
2024-10-06 | gnu: kissat: Update to 4.0.1. | Liliana Marie Prikler |
2024-10-06 | gnu: scasp: Update to 1.1.4. | Liliana Marie Prikler |
2024-10-04 | gnu: scilab: Add sanity-check phase. | Nicolas Graves |
2024-10-04 | gnu: scilab: Fix the scilab build script. | Nicolas Graves |
2024-10-04 | gnu: scilab: Cleanup more files. | Nicolas Graves |
2024-10-04 | gnu: scilab: Update to 2024.1.0. | Nicolas Graves |
2024-10-04 | gnu: netcdf: Remove input labels and use gexps. | Ludovic Courtès |
2024-10-04 | gnu: netcdf-parallel-openmpi: Enable pnetcdf support. | Romain GARBAGE |
2024-10-04 | gnu: Add pnetcdf. | Romain GARBAGE |
2024-09-30 | gnu: netcdf-parallel-openmpi: Build shared library. | Romain GARBAGE |
2024-09-17 | gnu: sleef: Update to 3.6.1. | Efraim Flashner |
2024-09-08 | gnu: armadillo: Update to 12.4.2. | Tobias Geerinckx-Rice |
2024-09-16 | gnu: chuffed: Add a source file-name. | Efraim Flashner |
2024-09-08 | gnu: 4ti2: Update to 1.6.10. | Tobias Geerinckx-Rice |
2024-09-06 | Revert "gnu: gsl: Add debug output." | Ludovic Courtès |
2024-09-05 | gnu: gsl: Add debug output. | Artyom Bologov |
2024-09-05 | gnu: dealii: Update to 9.6.0. | Ludovic Courtès |
2024-09-05 | gnu: sundials, sundials-openmpi: Use gexps. | Ludovic Courtès |
2024-09-05 | gnu: sundials: Upgrade to 7.1.1. | Ludovic Courtès |
2024-09-05 | gnu: petsc: Make ‘petscvariables’ reproducible. | Ludovic Courtès |
2024-09-05 | gnu: python-slepc4py: Update to 3.21.1. | Ludovic Courtès |
2024-09-05 | gnu: slepc: Update to 3.21.1. | Ludovic Courtès |
2024-09-05 | gnu: python-petsc4py: Update to 3.21.4. | Ludovic Courtès |
2024-09-05 | gnu: petsc: Update to 3.21.4. | Ludovic Courtès |
2024-09-05 | gnu: hypre: Use gexps. | Ludovic Courtès |
2024-09-05 | gnu: hypre: Add missing TeX Live dependency. | Ludovic Courtès |
2024-09-03 | gnu: jacal: Update to 1c8. | Artyom V. Poptsov |
2024-09-02 | gnu: python-libensemble: Update to 1.4.2. | Vinicius Monego |
2024-08-31 | gnu: gsl: Use gexps. | Ludovic Courtès |
2024-08-31 | gnu: gsl: Fix test failures on i686-linux by building with -O2. | Ludovic Courtès |
2024-08-31 | gnu: gsl-static: Remove variable. | Efraim Flashner |
2024-08-31 | gnu: gsl: Provide static library in separate output. | Efraim Flashner |
2024-08-31 | gnu: maths: Add 'bash' input for 'wrap-program'. | Maxime Devos |
2024-08-31 | gnu: lingeling: Import the correct set of modules. | Maxim Cournoyer |
2024-08-31 | gnu: hypre: Import the correct set of modules. | Maxim Cournoyer |
2024-08-31 | gnu: mumps: Import the correct set of modules. | Maxim Cournoyer |