summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #157515 from jvanbruegge/isabelle-naprocheGabriel Ebner2022-03-20
|\
| * isabelle: Use naproche from nixpkgsJan van Brügge2022-03-01
| * naproche: init at 0.1.0.0Jan van Brügge2022-03-01
* | qalculate-gtk: 4.0.0 -> 4.1.0Doron Behar2022-03-20
* | Merge pull request #164837 from bobby285271/pantheon-ecoBobby Rong2022-03-20
|\ \
| * | various: remove elementary-icon-theme from buildInputsBobby Rong2022-03-19
* | | Merge pull request #164193 from NixOS/r-updates7c6f434c2022-03-18
|\ \ \
| * | | R: 4.1.2 -> 4.1.3Justin Bedo2022-03-10
* | | | Merge pull request #164022 from r-ryantm/auto-update/jmolRyan Mulligan2022-03-18
|\ \ \ \
| * | | | jmol: 14.32.30 -> 14.32.33R. Ryantm2022-03-13
* | | | | Merge pull request #164375 from fedeinthemix/gaw-updateSandro2022-03-18
|\ \ \ \ \
| * | | | | gaw: 20200922 -> 20220315Federico Beffa2022-03-16
* | | | | | Merge pull request #164717 from collares/lean-3.42.0Gabriel Ebner2022-03-18
|\ \ \ \ \ \
| * | | | | | lean: 3.41.0 -> 3.42.0Mauricio Collares2022-03-18
* | | | | | | opensmt: 2.3.0 -> 2.3.1R. Ryantm2022-03-17
|/ / / / / /
* | | | | | Merge pull request #164162 from jdupak/masterBobby Rong2022-03-16
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | QtRVSim: 0.9.1 -> 0.9.2Jakub Dupak2022-03-14
| | |_|/ / | |/| | |
* | | | | Merge pull request #163638 from r-ryantm/auto-update/sirilRyan Mulligan2022-03-15
|\ \ \ \ \
| * | | | | siril: 0.99.10.1 -> 1.0.0R. Ryantm2022-03-10
| | |_|/ / | |/| | |
* | | | | Merge pull request #162443 from r-ryantm/auto-update/phd2Ryan Mulligan2022-03-15
|\ \ \ \ \
| * | | | | phd2: 2.6.10 -> 2.6.11R. Ryantm2022-03-02
| | |_|_|/ | |/| | |
* | | | | Merge pull request #161366 from NixOS/staging-nextMartin Weinelt2022-03-15
|\ \ \ \ \
| * \ \ \ \ Merge branch 'master' into staging-nextVladimír Čunát2022-03-15
| |\ \ \ \ \
| * \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-14
| |\ \ \ \ \ \ | | | |_|_|/ / | | |/| | | |
| * | | | | | Merge master into staging-nextgithub-actions[bot]2022-03-13
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-13
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-11
| |\ \ \ \ \ \ \ \ | | | |_|_|_|_|_|/ | | |/| | | | | |
| * | | | | | | | Merge master into staging-nextgithub-actions[bot]2022-03-09
| |\ \ \ \ \ \ \ \ | | | |_|_|_|_|_|/ | | |/| | | | | |
| * | | | | | | | Merge master into staging-nextgithub-actions[bot]2022-03-06
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-06
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-06
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-05
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-04
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-04
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-02
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-03-01
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Merge master into staging-nextgithub-actions[bot]2022-02-28
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-02-28
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-02-28
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into staging-nextAndersonTorres2022-02-26
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-02-24
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-02-23
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into staging-nextgithub-actions[bot]2022-02-23
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge staging-next into staginggithub-actions[bot]2022-02-22
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge staging-next into staginggithub-actions[bot]2022-02-22
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | | sage: update test expectations for stack_data 0.2.0Mauricio Collares2022-02-21
* | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #164195 from siraben/nuXmv-initBen Siraphob2022-03-15
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | | | nuXmv: init at 2.0.0Ben Siraphob2022-03-15
| | |_|_|_|_|_|_|/ / / / / / / / / / / / / / / / | |/| | | | | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | | | | | bada-bib: 0.5.1 -> 0.6.0Rasmus Thomsen2022-03-15
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | | | | sage: adapt tachyon interface for 0.99.3Mauricio Collares2022-03-13
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-15 09:11:50 +0000