summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* isabelle: Fix build on darwinShea Levy2022-06-23
|
* z3_4_4_0: Fix build on darwin.Shea Levy2022-06-23
|
* veriT: Fix build on macosHernan Rajchert2022-06-22
|
* snakemake: 7.8.2 -> 7.8.3R. Ryantm2022-06-21
|
* Merge pull request #178307 from Luflosi/update/yosysAnderson Torres2022-06-20
|\ | | | | yosys: 0.16 -> 0.18
| * abc-verifier: 2022.03.22 -> 2022.05.06Luflosi2022-06-20
| |
* | Merge pull request #177991 from mdarocha/dotnet-6-updateIvv2022-06-20
|\ \ | |/ |/| dotnet-sdk: 6.0.300 -> 6.0.301
| * formula: update dependenciesmdarocha2022-06-17
| |
* | treewide/python-modules: add sourceProvenance for several packagesRobert Scott2022-06-20
| |
* | Merge master into staging-nextgithub-actions[bot]2022-06-18
|\ \
| * \ Merge pull request #177930 from lschuermann/dev/update/horizon-eda-2.3.1Bobby Rong2022-06-18
| |\ \ | | | | | | | | horizon-eda: 2.3.0 -> 2.3.1
| | * | horizon-eda: 2.3.0 -> 2.3.1Leon Schuermann2022-06-16
| | | |
* | | | Merge master into staging-nextSergei Trofimovich2022-06-18
|\| | |
| * | | Merge pull request #176852 from trofi/workaround-fno-common-for-fpedSandro2022-06-17
| |\ \ \ | | | | | | | | | | fped: add -fcommon workaround
| | * | | fped: add -fcommon workaroundSergei Trofimovich2022-06-08
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Workaround build failure on -fno-common toolchains like upstream gcc-10. Otherwise build fails as: ld: postscript.o:postscript.h:29: multiple definition of `postscript_params'; fped.o:postscript.h:29: first defined here
| * | | | Merge pull request #178031 from veprbl/pr/dawn_initSandro2022-06-17
| |\ \ \ \ | | | | | | | | | | | | dawn: init at 3.91a
| | * | | | dawn: init at 3.91aDmitry Kalinkin2022-06-16
| | | |/ / | | |/| |
* | | | | Merge branch 'master' into staging-nextJan Tojnar2022-06-17
|\| | | | | | | | | | | | | | | | | | | | | | | | ; Conflicts: ; pkgs/top-level/python-packages.nix
| * | | | wxmaxima: 22.03.0 -> 22.05.0 (#177610)kilianar2022-06-17
| | | | |
| * | | | Merge pull request #178013 from markuskowa/upd-molcasmarkuskowa2022-06-17
| |\ \ \ \ | | | | | | | | | | | | openmolcas: 22.02 -> 22.06
| | * | | | openmolcas: 22.02 -> 22.06Markus Kowalewski2022-06-17
| | | | | |
| * | | | | Merge pull request #176788 from NixOS/haskell-updatesDennis Gosnell2022-06-17
| |\ \ \ \ \ | | |/ / / / | |/| | | | haskellPackages: update stackage and hackage
| | * | | | tamarin-prover: remove darwin from hydraPlatformsDennis Gosnell2022-06-17
| | |/ / /
* | | | | Merge master into staging-nextgithub-actions[bot]2022-06-17
|\| | | |
| * | | | gromacs: 2022.1 -> 2022.2Markus Kowalewski2022-06-17
| | |_|/ | |/| |
* | | | Merge master into staging-nextgithub-actions[bot]2022-06-17
|\| | |
| * | | Merge pull request #177729 from kilianar/kstarsMario Rodas2022-06-16
| |\ \ \ | | | | | | | | | | kstars: 3.5.8 -> 3.5.9
| | * | | kstars: 3.5.8 -> 3.5.9kilianar2022-06-15
| | | | |
| * | | | gama: 2.17 -> 2.19kilianar2022-06-16
| | |/ / | |/| |
* | | | Merge master into staging-nextgithub-actions[bot]2022-06-16
|\| | |
| * | | Merge pull request #176238 from symphorien/giac-browserGuillaume Girol2022-06-15
| |\ \ \ | | |/ / | |/| | giac-with-xcas: fix command to open help inside browser
| | * | giac-with-xcas: fix command to open help inside browserGuillaume Girol2022-06-01
| | | |
* | | | Merge master into staging-nextgithub-actions[bot]2022-06-13
|\| | |
| * | | mathematica: mark meta.sourceProvenanceFliegendeWurst2022-06-13
| | | |
* | | | Merge master into staging-nextgithub-actions[bot]2022-06-11
|\| | |
| * | | Merge pull request #176437 from trofi/fix-fno-common-for-gedaSergei Trofimovich2022-06-11
| |\ \ \ | | | | | | | | | | geda: pull upstream fixes for -fno-common toolchains
| | * | | geda: pull upstream fixes for -fno-common toolchainsSergei Trofimovich2022-06-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Without the change builda fails on upstream gcc-10 as: ld: gattrib/src/../include/globals.h:97: multiple definition of `window'; gattrib/src/../include/globals.h:97: first defined here
* | | | | Merge master into staging-nextgithub-actions[bot]2022-06-10
|\| | | |
| * | | | snakemake: 7.8.1 -> 7.8.2R. Ryantm2022-06-09
| | | | |
* | | | | Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt2022-06-08
|\| | | |
| * | | | coq_8_16: init at 8.16+rc1Pierre Roux2022-06-08
| | | | |
| * | | | gpredict: pull upstream fix for -fno-common toolchainsSergei Trofimovich2022-06-08
| | |_|/ | |/| | | | | | | | | | | | | | | | | | | | | | Without the change build fails on upstream gcc-10 as: ld: save-pass.o:src/qth-data.h:36: multiple definition of `qth_data_type'; gtk-azel-plot.o:src/qth-data.h:36: first defined here
* | | | Merge pull request #175805 from NixOS/python-updatesMartin Weinelt2022-06-08
|\ \ \ \ | |/ / / |/| | | Python Updates 2022-06-01 (was: python3: 3.9 -> 3.10)
| * | | MACS2: mark brokenSandro Jäckel2022-06-06
| |/ /
* | | Merge pull request #175961 from helsinki-systems/rem/brokenRick van Schijndel2022-06-06
|\ \ \ | |/ / |/| | remove some packages marked broken for over 1.5 years
| * | scilab: remove after being marked broken for over 18 monthsajs1242022-06-02
| | | | | | | | | | | | It was marked in commit 2bc87d48f1ef31c6c61e7389ef29843e93e06c85 by Kirill Boltaev on 2016-09-19 (commited on 2016-09-26)
* | | alt-ergo: ensure compatibility with Menhir ≥ 20211215Vincent Laporte2022-06-05
| | |
* | | Merge pull request #176278 from risicle/ris-jar-source-provenanceRobert Scott2022-06-05
|\ \ \ | | | | | | | | treewide: set `sourceProvenance` for packages containing downloaded jars
| * | | treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott2022-06-04
| | | | | | | | | | | | | | | | these are the easily identifiable cases and will not be comprehensive
* | | | ngspice: 36 -> 37Luz2022-06-05
|/ / /