about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-06-18Merge pull request #177930 from lschuermann/dev/update/horizon-eda-2.3.1Bobby Rong1-2/+2
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-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-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-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-15Merge pull request #176238 from symphorien/giac-browserGuillaume Girol1-0/+3
2022-06-15kstars: 3.5.8 -> 3.5.9kilianar1-2/+2
2022-06-13mathematica: mark meta.sourceProvenanceFliegendeWurst1-0/+1
2022-06-11Merge pull request #176437 from trofi/fix-fno-common-for-gedaSergei Trofimovich1-1/+15
2022-06-09snakemake: 7.8.1 -> 7.8.2R. Ryantm1-2/+2
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-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
2022-06-02scilab: remove after being marked broken for over 18 monthsajs1241-67/+0
2022-06-02Merge pull request #174881 from r-ryantm/auto-update/mavproxyBobby Rong1-2/+2
2022-06-02snakemake: 7.8.0 -> 7.8.1R. Ryantm1-2/+2
2022-06-01Merge pull request #175625 from collares/fpylllSandro1-0/+1
2022-06-01giac-with-xcas: fix command to open help inside browserGuillaume Girol1-0/+3
2022-06-01Merge pull request #175700 from siraben/cvc4-darwinBen Siraphob1-3/+3
2022-05-31cvc4: fix build on darwinBen Siraphob1-3/+3
2022-06-01Merge pull request #164779 from collares/lean2Ben Siraphob1-0/+46
2022-05-31pari: mark as broken on aarch64-darwinMauricio Collares1-0/+1
2022-05-31Merge pull request #174261 from LumiGuide/lumi-teamSandro1-1/+1
2022-05-31Merge pull request #175477 from bzizou/astralckie1-0/+56
2022-05-31astral: init at 5.7.1Bruno Bzeznik1-0/+56
2022-05-30snakemake: 7.7.0 -> 7.8.0 (#174592)R. RyanTM1-2/+2
2022-05-30Merge pull request #173671 from Mindavi/treewide/broken-zhfJanne Heß31-5/+40
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel15-3/+16
2022-05-30speedcrunch: mark broken on darwinRick van Schijndel1-2/+2
2022-05-29Merge pull request #173021 from trofi/fix-fno-common-for-gerbvSergei Trofimovich1-1/+11
2022-05-29treewide: pkgs/applications: mark broken for darwinRick van Schijndel15-2/+18
2022-05-29boinc: mark broken for aarch64Rick van Schijndel1-0/+4
2022-05-29aspino: mark broken for x86_64 DarwinRick van Schijndel1-0/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 16:36:02 +0000