about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-12-24mavproxy: 1.8.29 -> 1.8.30R. RyanTM1-2/+2
2020-12-24Merge pull request #107482 from lsix/gama-2.12lsix1-4/+4
2020-12-23gama: 2.09 -> 2.12Matthias Beyer1-4/+4
2020-12-23kstars: add optional dependenciesfreezeboy1-6/+7
2020-12-23kstars: use mkDerivation instead of wrapQtAppsHookfreezeboy1-5/+5
2020-12-21mathematica: 12.1.1 -> 12.2.0 (#107309)FliegendeWurst1-14/+2
2020-12-21SPAdes: add python dependencyJustin Bedo1-2/+2
2020-12-19Merge pull request #105615 from collares/sage-updateTimo Kaufmann31-469/+289
2020-12-19simgrid: 3.25 -> 3.26Millian Poquet1-2/+2
2020-12-18cryptoverif: 2.03pl1 → 2.04Vincent Laporte1-2/+2
2020-12-18cryptoverif: fix search for default libraryVincent Laporte1-1/+1
2020-12-16coq_8_12: 8.12.1 → 8.12.2Vincent Laporte1-0/+1
2020-12-15coq_8_13: init at 8.13+β1Vincent Laporte1-1/+4
2020-12-15sage: 8.9 -> 9.2 fixupsMauricio Collares12-36/+217
2020-12-15pari: update tarball location, since it movedMauricio Collares1-1/+2
2020-12-15nauty: update tarball sha256Mauricio Collares1-1/+1
2020-12-14pynac: import patch to avoid deprecation warnings on python3.8Mauricio Collares1-0/+9
2020-12-14giac: 1.5.0-21 -> 1.5.0-87Mauricio Collares1-2/+2
2020-12-14sage: 8.9 -> 9.2Masanori Ogino20-437/+66
2020-12-14Merge pull request #106856 from jbedo/dellyMario Rodas1-2/+2
2020-12-13Merge pull request #106611 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2020-12-14delly: 0.8.5 -> 0.8.6Justin Bedo1-2/+2
2020-12-11hal-hardware-analyzer: 2.0.0 -> 3.1.9Robert Scott1-7/+7
2020-12-11Merge pull request #106612 from alyssais/cedilleMario Rodas2-2/+37
2020-12-11Merge pull request #106480 from SCOTT-HAMILTON/spdlogJörg Thalheim1-6/+6
2020-12-11Merge pull request #103338 from hjones2199/sirilSandro1-0/+45
2020-12-11siril: init at 0.99.6Hunter Jones1-0/+45
2020-12-10cedille: 1.1.1 -> 1.1.2; fix buildAlyssa Ross2-2/+37
2020-12-10picard-tools: 2.23.8 -> 2.23.9R. RyanTM1-2/+2
2020-12-10Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nixSCOTT-HAMILTON1-1/+1
2020-12-10spdlog: use nixpkgs' fmt instead of bundled oneSCOTT-HAMILTON1-6/+6
2020-12-08Merge pull request #105133 from markuskowa/fix-gromacsmarkuskowa1-9/+25
2020-12-07clingo: 5.4.0 -> 5.4.1R. RyanTM1-2/+2
2020-12-03kicad-unstable: 2020-11-07 -> 2020-12-01 (#105743)Ben Gamari1-13/+13
2020-12-03mavproxy: 1.8.27 -> 1.8.29R. RyanTM1-2/+2
2020-12-02Merge pull request #105650 from r-ryantm/auto-update/gretlSandro1-2/+2
2020-12-02Merge pull request #105672 from r-ryantm/auto-update/hmmerRyan Mulligan1-2/+2
2020-12-02abc-verifier: 2020.06.22 -> 2020.11.24Austin Seipp1-4/+4
2020-12-02Merge pull request #105654 from r-ryantm/auto-update/gmshMario Rodas1-2/+2
2020-12-02Merge pull request #100750 from arcz/boolectorAustin Seipp2-25/+33
2020-12-02hmmer: 3.3.1 -> 3.3.2R. RyanTM1-2/+2
2020-12-02gmsh: 4.7.0 -> 4.7.1R. RyanTM1-2/+2
2020-12-02gretl: 2020b -> 2020eR. RyanTM1-2/+2
2020-12-01ants: unbreak on DarwinBen Darwin1-2/+2
2020-11-30openmolcas: fix hashMarkus Kowalewski1-1/+1
2020-11-30bwa: expand supported platformsJustin Bedo1-1/+7
2020-11-29boolector: fix darwin buildArtur Cygan1-23/+31
2020-11-29btor2tools: fix install_name on darwinArtur Cygan1-2/+2
2020-11-29proverif: install emacs modeVincent Laporte1-0/+1
2020-11-29Merge pull request #92646 from r-ryantm/auto-update/tla-toolboxSandro1-2/+2