about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-02-11Merge pull request #79778 from jbedo/dellyDmitry Kalinkin1-4/+13
2020-02-11delly: 0.8.1 -> 0.8.2Justin Bedo1-4/+13
2020-02-10Merge pull request #79534 from r-ryantm/auto-update/lastRyan Mulligan1-2/+2
2020-02-10marvin: 20.3.0 -> 20.4.0Brenton Horne1-3/+3
2020-02-10kicad-unstable: update update.sh && updateEvils2-20/+20
2020-02-10kicad: simplify component namesEvils1-20/+20
2020-02-10minc_tools: enable building conversion toolsBen Darwin1-3/+8
2020-02-10minc_tools: 2017-09-11 -> unstable-2019-12-04Ben Darwin2-4/+18
2020-02-10clp: 1.17.3 -> 1.17.5R. RyanTM1-2/+2
2020-02-09verifast: 18.02 -> 19.12R. RyanTM1-2/+2
2020-02-09pcb: 4.2.1 -> 4.2.2R. RyanTM1-2/+2
2020-02-09Merge pull request #79293 from NixOS/staging-nextFrederik Rietdijk1-5/+8
2020-02-09Merge pull request #79479 from r-ryantm/auto-update/workcraftRyan Mulligan1-2/+2
2020-02-09Merge master into staging-nextFrederik Rietdijk1-3/+3
2020-02-09iprover: 2018_Jul_24_11h -> 3.1Jannik Vierling1-3/+3
2020-02-09Merge master into staging-nextFrederik Rietdijk5-17/+17
2020-02-09librepcb: 0.1.2 -> 0.1.3 (#74786)Luz1-3/+3
2020-02-09Merge pull request #79301 from Abdillah/patch-2Dmitry Kalinkin1-3/+3
2020-02-08symbiyosys: 2019.10.11 -> 2020.02.08Emily1-5/+5
2020-02-08Merge pull request #79557 from r-ryantm/auto-update/marvinRyan Mulligan1-2/+2
2020-02-08marvin: 19.27.0 -> 20.3.0R. RyanTM1-2/+2
2020-02-08Merge pull request #79511 from r-ryantm/auto-update/gmshmarkuskowa1-2/+2
2020-02-08last: 1045 -> 1047R. RyanTM1-2/+2
2020-02-08gmsh: 4.5.1 -> 4.5.2R. RyanTM1-2/+2
2020-02-07Merge pull request #79467 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2020-02-07workcraft: 3.1.9 -> 3.2.5R. RyanTM1-2/+2
2020-02-07Merge master into staging-nextFrederik Rietdijk2-4/+4
2020-02-07picard-tools: 2.21.6 -> 2.21.8R. RyanTM1-2/+2
2020-02-06eagle: 9.5.1 -> 9.5.2R. RyanTM1-2/+2
2020-02-06labelImg: 1.6.0 -> 1.8.1R. RyanTM1-2/+2
2020-02-06librepcb: Fix platform plugin xcb not foundHernawan Faïz Abdillah1-3/+3
2020-02-05Merge staging-next into stagingFrederik Rietdijk1-2/+2
2020-02-05Revert "Revert "Merge master into staging-next""Frederik Rietdijk1-2/+2
2020-02-05Revert "Merge master into staging-next"Frederik Rietdijk1-2/+2
2020-02-05Merge pull request #79231 from r-ryantm/auto-update/SPAdesRyan Mulligan1-2/+2
2020-02-05Merge #66528: glibc: 2.27 -> 2.30 (into staging)Vladimír Čunát1-5/+8
2020-02-04SPAdes: 3.13.1 -> 3.14.0R. RyanTM1-2/+2
2020-02-03simgrid: 3.24 -> 3.25Millian Poquet1-2/+2
2020-02-01Merge branch 'staging' into glibc230Maximilian Bosch4-12/+8
2020-02-01abc-verifier: passthru revFlorian Klink1-2/+6
2020-02-01abc-verifier: 2018-07-08 -> 2020-01-11Florian Klink1-3/+3
2020-02-01Merge pull request #78981 from r-ryantm/auto-update/jmolmarkuskowa1-2/+2
2020-02-01Merge pull request #78833 from r-ryantm/auto-update/snakemakeMario Rodas1-2/+2
2020-02-01Merge pull request #78849 from r-ryantm/auto-update/tetgenMario Rodas1-2/+2
2020-02-01jmol: 14.30.1 -> 14.30.2R. RyanTM1-2/+2
2020-01-31coqPackages_8_11.coq: 8.11+β1 → 8.11.0Vincent Laporte1-1/+1
2020-01-31coq: disable CoqIDE on Darwin for Coq ≥ 8.10Vincent Laporte1-1/+1
2020-01-30saw-tools: use default llvmLuka Blaskovic1-2/+2
2020-01-30verilator: 4.024 -> 4.026 (#78891)Jörg Thalheim1-6/+2
2020-01-30verilator: shebangs patch is not needed anymoreJörg Thalheim1-4/+0