Commit message (Expand) | Author | Age | |
---|---|---|---|
* | primesieve: 12.0 -> 12.1 | R. Ryantm | 2024-03-10 |
* | Revert "elan: revert temporary directory creation" | Joachim Breitner | 2024-03-09 |
* | fix: elan: use relative paths in wrapper script | Joachim Breitner | 2024-03-09 |
* | Merge pull request #293065 from r-ryantm/auto-update/jmol | Mauricio Collares | 2024-03-08 |
|\ | |||
| * | jmol: 16.1.53 -> 16.1.63 | R. Ryantm | 2024-03-08 |
* | | Merge pull request #292724 from r-ryantm/auto-update/cvc5 | Weijia Wang | 2024-03-08 |
|\ \ | |/ |/| | |||
| * | cvc5: 1.1.1 -> 1.1.2 | R. Ryantm | 2024-03-02 |
* | | Merge pull request #293432 from alois31/geogebra-3d | Pol Dellaiera | 2024-03-07 |
|\ \ | |||
| * | | geogebra: fix 3D view again | Alois Wohlschlager | 2024-03-03 |
* | | | Merge pull request #294100 from r-ryantm/auto-update/eigenmath | Nick Cao | 2024-03-07 |
|\ \ \ | |||
| * | | | eigenmath: unstable-2024-02-25 -> unstable-2024-03-06 | R. Ryantm | 2024-03-07 |
* | | | | Merge pull request #293773 from GaetanLepage/mujoco | Samuel Ainsworth | 2024-03-07 |
|\ \ \ \ | |||
| * | | | | mujoco: 3.1.2 -> 3.1.3 | Gaetan Lepage | 2024-03-07 |
* | | | | | Merge pull request #291880 from r-ryantm/auto-update/pari | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||
| * | | | | pari: 2.15.4 -> 2.15.5 | R. Ryantm | 2024-02-27 |
* | | | | | Merge pull request #287372 from r-ryantm/auto-update/cryptominisat | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ | |||
| * | | | | | cryptominisat: 5.11.15 -> 5.11.21 | R. Ryantm | 2024-02-09 |
* | | | | | | elan: revert temporary directory creation | Mario Rodas | 2024-03-07 |
| |_|/ / / |/| | | | | |||
* | | | | | Merge pull request #293918 from r-ryantm/auto-update/opensmt | 7c6f434c | 2024-03-07 |
|\ \ \ \ \ | |||
| * | | | | | opensmt: 2.5.2 -> 2.6.0 | R. Ryantm | 2024-03-07 |
* | | | | | | Merge pull request #285423 from r-ryantm/auto-update/diamond | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ \ | |||
| * | | | | | | diamond: 2.1.8 -> 2.1.9 | R. Ryantm | 2024-02-01 |
* | | | | | | | Merge pull request #287668 from r-ryantm/auto-update/igv | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | igv: 2.17.1 -> 2.17.2 | R. Ryantm | 2024-02-10 |
* | | | | | | | | Merge pull request #291482 from r-ryantm/auto-update/verilator | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | verilator: 5.020 -> 5.022 | R. Ryantm | 2024-02-26 |
| | |_|_|_|/ / / | |/| | | | | | | |||
* | | | | | | | | Merge pull request #292044 from r-ryantm/auto-update/mavproxy | Weijia Wang | 2024-03-07 |
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | | |||
| * | | | | | | | mavproxy: 1.8.66 -> 1.8.70 | R. Ryantm | 2024-02-28 |
| |/ / / / / / | |||
* | | | | | | | Merge pull request #289177 from r-ryantm/auto-update/clingcon | Weijia Wang | 2024-03-06 |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | clingcon: 5.2.0 -> 5.2.1 | R. Ryantm | 2024-02-16 |
* | | | | | | | | Merge pull request #290917 from r-ryantm/auto-update/magic-vlsi | Weijia Wang | 2024-03-06 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | magic-vlsi: 8.3.460 -> 8.3.463 | R. Ryantm | 2024-03-05 |
* | | | | | | | | | cadical: 1.9.4 -> 1.9.5 | R. Ryantm | 2024-03-06 |
* | | | | | | | | | gromacs: 2024 -> 2024.1 | Markus Kowalewski | 2024-03-05 |
|/ / / / / / / / | |||
* | | | | | | | | lean4: 4.6.0 -> 4.6.1 | Mario Rodas | 2024-03-04 |
* | | | | | | | | lammps-mpi: 2Aug2023_update2 -> 2Aug2023_update3 | R. Ryantm | 2024-03-02 |
* | | | | | | | | Merge pull request #292584 from r-ryantm/auto-update/wxmaxima | Doron Behar | 2024-03-02 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | wxmaxima: 24.02.1 -> 24.02.2 | R. Ryantm | 2024-03-01 |
| | |_|_|_|_|_|/ | |/| | | | | | | |||
* | | | | | | | | Merge pull request #287403 from trofi/graphia-gcc-13-fix-update | Mario Rodas | 2024-03-01 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | graphia: 3.2 -> 4.2 | Sergei Trofimovich | 2024-02-08 |
| | |_|_|_|_|/ / | |/| | | | | | | |||
* | | | | | | | | nnpdf: 4.0.8 -> 4.0.9 | R. Ryantm | 2024-03-01 |
| |/ / / / / / |/| | | | | | | |||
* | | | | | | | Merge pull request #292202 from marsam/update-lean4 | Mario Rodas | 2024-02-29 |
|\ \ \ \ \ \ \ | |||
| * | | | | | | | lean4: 4.5.0 -> 4.6.0 | Mario Rodas | 2024-02-28 |
| | |_|_|_|_|/ | |/| | | | | | |||
* | | | | | | | Merge pull request #289911 from r-ryantm/auto-update/last | Justin Bedő | 2024-03-01 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | |||
| * | | | | | | last: 1541 -> 1542 | R. Ryantm | 2024-02-19 |
* | | | | | | | eigenmath: unstable-2024-02-04 -> unstable-2024-02-25 | R. Ryantm | 2024-02-28 |
| |_|_|/ / / |/| | | | | | |||
* | | | | | | Merge pull request #291307 from trofi/sortmerna-gcc-13-fix | Nick Cao | 2024-02-25 |
|\ \ \ \ \ \ | |||
| * | | | | | | sortmerna: fix `gcc-13` build | Sergei Trofimovich | 2024-02-25 |
* | | | | | | | starspace: mark broken | Sergei Trofimovich | 2024-02-24 |
|/ / / / / / | |||
* | | | | | | Merge remote-tracking branch 'origin/master' into staging-next | Fabián Heredia Montiel | 2024-02-23 |
|\ \ \ \ \ \ |