about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #243497 from jvanbruegge/isabelle-2023Weijia Wang2023-12-10
|\
| * isabelle-linter: 1.2.1 -> 2023-1.0.0Jan van Brügge2023-12-10
| * isabelle: 2022 -> 2023Jan van Brügge2023-10-06
| * naproche: 2022-10-24 -> unstable-2023-07-11Jan van Brügge2023-10-06
* | Merge pull request #273265 from aaronjheng/gwyddionWeijia Wang2023-12-10
|\ \
| * | gwyddion: mark as brokenAaron Jheng2023-12-10
* | | Merge pull request #271142 from alyaeanyx/qalculate-4.9.0Doron Behar2023-12-10
|\ \ \
| * | | qalculate-{gtk, qt}: add meta.mainProgramalyaeanyx2023-12-07
| * | | {libqalculate, qalculate-gtk}: change sha256 attribute to hashalyaeanyx2023-11-30
| * | | {libqalculate, qalculate-gtk, qalculate-qt}: 4.8.1 -> 4.9.0alyaeanyx2023-11-30
* | | | Merge pull request #271924 from stepbrobd/z3-solverOTABI Tomoya2023-12-10
|\ \ \ \ | |_|/ / |/| | |
| * | | python3Packages.z3-solver: rename from z3Yifei Sun2023-12-06
* | | | Merge pull request #272727 from NixOS/pr/root_6_28_10Dmitry Kalinkin2023-12-09
|\ \ \ \
| * | | | root: 6.28.08 -> 6.28.10Dmitry Kalinkin2023-12-07
* | | | | eprover: 3.0 -> 3.0.03R. Ryantm2023-12-09
* | | | | Merge pull request #272707 from wegank/nvc-bumpWeijia Wang2023-12-08
|\ \ \ \ \
| * | | | | nvc: 1.10.4 -> 1.11.0Weijia Wang2023-12-07
| |/ / / /
* / / / / caffe: fix eval when CUDNN is not availableConnor Baker2023-12-07
|/ / / /
* | | | Merge pull request #271362 from pbsds/rm-dead-patchesRick van Schijndel2023-12-06
|\ \ \ \
| * | | | treewide: remove unreferenced patch filesPeder Bergebakken Sundt2023-12-01
* | | | | Merge pull request #272274 from r-ryantm/auto-update/lastJustin Bedő2023-12-06
|\ \ \ \ \
| * | | | | last: 1499 -> 1518R. Ryantm2023-12-05
* | | | | | Merge pull request #272063 from SomeoneSerge/fix/cuda-upkeepConnor Baker2023-12-05
|\ \ \ \ \ \
| * | | | | | gromacs: drop cudatoolkit.runSomeone Serge2023-12-04
* | | | | | | clp: unbreak on aarch64-linuxWeijia Wang2023-12-05
* | | | | | | Merge pull request #270650 from sheepforce/quantum-espressomarkuskowa2023-12-05
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| * | | | | | quantum-espresso: 6.6 -> 7.2Phillip Seeber2023-12-04
| |/ / / / /
* | | | | | Merge pull request #272185 from wegank/cbc-clangWeijia Wang2023-12-05
|\ \ \ \ \ \
| * | | | | | cbc: fix build with clang 16Weijia Wang2023-12-05
| | |_|/ / / | |/| | | |
* | | | | | Merge pull request #263288 from r-ryantm/auto-update/cryptominisatWeijia Wang2023-12-05
|\ \ \ \ \ \
| * | | | | | cryptominisat: 5.11.14 -> 5.11.15R. Ryantm2023-10-25
* | | | | | | fahclient: wrap in FHS (#271994)Jonas Chevalier2023-12-05
* | | | | | | Merge pull request #266961 from mayl/openemsPeder Bergebakken Sundt2023-12-05
|\ \ \ \ \ \ \
| * | | | | | | csxcad: unstable-2022-05-18 -> v0.6.3Larry May2023-12-04
| * | | | | | | openems: unstable-2020-02-15 -> v0.0.36Larry May2023-12-04
* | | | | | | | root5: broken with clangsternenseemann2023-12-04
| |_|_|/ / / / |/| | | | | |
* | | | | | | Merge pull request #266665 from r-ryantm/auto-update/seqkitWeijia Wang2023-12-04
|\ \ \ \ \ \ \
| * | | | | | | seqkit: 2.5.1 -> 2.6.0R. Ryantm2023-11-10
* | | | | | | | Merge pull request #266351 from r-ryantm/auto-update/sumoWeijia Wang2023-12-04
|\ \ \ \ \ \ \ \
| * | | | | | | | sumo: 1.18.0 -> 1.19.0R. Ryantm2023-11-08
* | | | | | | | | Merge pull request #264994 from r-ryantm/auto-update/kallistoWeijia Wang2023-12-04
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / |/| | | | | | | |
| * | | | | | | | kallisto: 0.50.0 -> 0.50.1R. Ryantm2023-11-02
* | | | | | | | | Merge pull request #271540 from SuperSandro2000/kde-mirrorK9002023-12-03
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | treewide: use kde mirror everywhere, don't use pname in download urlsSandro Jäckel2023-12-02
* | | | | | | | | | Merge pull request #266099 from tmplt/feat/mujoco-3.0.0Samuel Ainsworth2023-12-02
|\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | mujoco: 3.0.0 -> 3.0.1Viktor Sonesten2023-11-16
| * | | | | | | | | | mujoco: 2.3.7 -> 3.0.0, add Python bindingsViktor Sonesten2023-11-12
* | | | | | | | | | | Merge pull request #271114 from vbgl/why3-1.7.0Peder Bergebakken Sundt2023-12-02
|\ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | why3: 1.6.0 → 1.7.0Vincent Laporte2023-11-30
* | | | | | | | | | | | Merge pull request #270695 from r-ryantm/auto-update/simgridEmily Trau2023-12-02
|\ \ \ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / / / |/| | | | | | | | | | |