about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-06-23treewide/applications: add `sourceType` `binaryNativeCode` for many packagesRobert Scott26-2/+43
2022-06-22veriT: Fix build on macosHernan Rajchert1-1/+0
2022-06-21snakemake: 7.8.2 -> 7.8.3R. Ryantm1-2/+2
2022-06-20Merge pull request #178307 from Luflosi/update/yosysAnderson Torres1-3/+3
2022-06-20Merge pull request #177991 from mdarocha/dotnet-6-updateIvv1-1/+1
2022-06-20abc-verifier: 2022.03.22 -> 2022.05.06Luflosi1-3/+3
2022-06-20treewide/python-modules: add sourceProvenance for several packagesRobert Scott1-0/+5
2022-06-18Merge master into staging-nextgithub-actions[bot]1-2/+2
2022-06-18Merge pull request #177930 from lschuermann/dev/update/horizon-eda-2.3.1Bobby Rong1-2/+2
2022-06-18Merge master into staging-nextSergei Trofimovich2-0/+39
2022-06-17Merge pull request #176852 from trofi/workaround-fno-common-for-fpedSandro1-0/+5
2022-06-17Merge pull request #178031 from veprbl/pr/dawn_initSandro1-0/+34
2022-06-17Merge branch 'master' into staging-nextJan Tojnar3-5/+12
2022-06-17wxmaxima: 22.03.0 -> 22.05.0 (#177610)kilianar1-2/+2
2022-06-17Merge pull request #178013 from markuskowa/upd-molcasmarkuskowa1-3/+9
2022-06-17Merge pull request #176788 from NixOS/haskell-updatesDennis Gosnell1-0/+1
2022-06-17Merge master into staging-nextgithub-actions[bot]1-2/+2
2022-06-17openmolcas: 22.02 -> 22.06Markus Kowalewski1-3/+9
2022-06-17tamarin-prover: remove darwin from hydraPlatformsDennis Gosnell1-0/+1
2022-06-17gromacs: 2022.1 -> 2022.2Markus Kowalewski1-2/+2
2022-06-17formula: update dependenciesmdarocha1-1/+1
2022-06-17Merge master into staging-nextgithub-actions[bot]2-4/+4
2022-06-16Merge pull request #177729 from kilianar/kstarsMario Rodas1-2/+2
2022-06-16dawn: init at 3.91aDmitry Kalinkin1-0/+34
2022-06-16horizon-eda: 2.3.0 -> 2.3.1Leon Schuermann1-2/+2
2022-06-16gama: 2.17 -> 2.19kilianar1-2/+2
2022-06-16Merge master into staging-nextgithub-actions[bot]1-0/+3
2022-06-15Merge pull request #176238 from symphorien/giac-browserGuillaume Girol1-0/+3
2022-06-15kstars: 3.5.8 -> 3.5.9kilianar1-2/+2
2022-06-13Merge master into staging-nextgithub-actions[bot]1-0/+1
2022-06-13mathematica: mark meta.sourceProvenanceFliegendeWurst1-0/+1
2022-06-11Merge master into staging-nextgithub-actions[bot]1-1/+15
2022-06-11Merge pull request #176437 from trofi/fix-fno-common-for-gedaSergei Trofimovich1-1/+15
2022-06-10Merge master into staging-nextgithub-actions[bot]1-2/+2
2022-06-09snakemake: 7.8.1 -> 7.8.2R. Ryantm1-2/+2
2022-06-08Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt2-1/+12
2022-06-08Merge pull request #175805 from NixOS/python-updatesMartin Weinelt1-0/+8
2022-06-08coq_8_16: init at 8.16+rc1Pierre Roux1-0/+1
2022-06-08gpredict: pull upstream fix for -fno-common toolchainsSergei Trofimovich1-1/+11
2022-06-08fped: add -fcommon workaroundSergei Trofimovich1-0/+5
2022-06-06MACS2: mark brokenSandro Jäckel1-0/+8
2022-06-06Merge pull request #175961 from helsinki-systems/rem/brokenRick van Schijndel1-67/+0
2022-06-05geda: pull upstream fixes for -fno-common toolchainsSergei Trofimovich1-1/+15
2022-06-05alt-ergo: ensure compatibility with Menhir ≥ 20211215Vincent Laporte1-6/+10
2022-06-05Merge pull request #176278 from risicle/ris-jar-source-provenanceRobert Scott21-0/+27
2022-06-05ngspice: 36 -> 37Luz1-2/+2
2022-06-04treewide: set sourceProvenance for packages containing downloaded jarsRobert Scott21-0/+27
2022-06-04gravit: pull fix pending upstream inclusion for -fno-common toolchainsSergei Trofimovich1-1/+11
2022-06-03coq: 8.15.1 → 8.15.2Vincent Laporte1-0/+1
2022-06-03Merge pull request #175259 from trofi/workaround-fno-common-for-svabaSergei Trofimovich1-0/+6