about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-07-04Merge pull request #92257 from r-ryantm/auto-update/tebreakMario Rodas1-2/+2
2020-07-04tebreak: 1.0 -> 1.1R. RyanTM1-2/+2
2020-07-03Merge pull request #92127 from veprbl/pr/snakemake_5_19_3Dmitry Kalinkin1-2/+2
2020-07-03Merge pull request #92169 from r-ryantm/auto-update/gmshMario Rodas1-2/+2
2020-07-03gmsh: 4.5.6 -> 4.6.0R. RyanTM1-2/+2
2020-07-02snakemake: 5.17.0 -> 5.19.3Dmitry Kalinkin1-2/+2
2020-07-02picard-tools: 2.23.0 -> 2.23.1R. RyanTM1-2/+2
2020-07-02workcraft: 3.2.6 -> 3.3.0R. RyanTM1-2/+2
2020-07-02Merge pull request #92044 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
2020-07-02lean: 3.16.2 -> 3.16.5R. RyanTM1-2/+2
2020-06-28why3: compatibility with JSoO 3.6.0Vincent Laporte1-0/+4
2020-06-27root: add licenseMarkus Kowalewski1-0/+1
2020-06-27qalculate-gtk: add licenseMarkus Kowalewski1-0/+1
2020-06-26mrbayes: fix licenseMarkus Kowalewski1-3/+3
2020-06-26emboss: fix licenseMarkus Kowalewski1-2/+2
2020-06-25treewide: remove deprecated value `Application` from makeDesktopItemzowoq3-3/+3
2020-06-24cadical: enable testsDaniël de Kok1-0/+2
2020-06-23Merge pull request #90491 from shnarazk/cadical-1.3.0-PRMaximilian Bosch1-2/+2
2020-06-22stellarium: 0.20.1 -> 0.20.2Maximilian Bosch1-2/+2
2020-06-19gildas: 20200201_a -> 20200601_b (#91096)Sébastien Maret2-4/+5
2020-06-19coq_8_12: init at 8.12+β1Vincent Laporte1-0/+1
2020-06-18root5: 5.34.36 -> 5.34.38Dmitry Kalinkin1-10/+4
2020-06-17eagle: 9.6.1 -> 9.6.2R. RyanTM1-2/+2
2020-06-16verilator: 4.034 -> 4.036Austin Seipp1-2/+2
2020-06-15cadical: 1.2.1 -> 1.3.0Narazaki, Shuji1-2/+2
2020-06-15Merge pull request #90419 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2020-06-15picard-tools: 2.22.9 -> 2.23.0R. RyanTM1-2/+2
2020-06-14lean: 3.15.0 -> 3.16.2R. RyanTM1-2/+2
2020-06-11symbiyosys: 2020.03.24 -> 2020.05.18Austin Seipp1-3/+3
2020-06-11yosys: 2020.03.24 -> 2020.06.11Austin Seipp1-3/+3
2020-06-10Merge branch 'staging-next'Vladimír Čunát1-1/+1
2020-06-10Merge pull request #90045 from r-ryantm/auto-update/marvinRyan Mulligan1-2/+2
2020-06-10Merge pull request #90013 from r-ryantm/auto-update/jmolmarkuskowa1-2/+2
2020-06-10marvin: 20.12.0 -> 20.13.0R. RyanTM1-2/+2
2020-06-10jmol: 14.30.2 -> 14.31.0R. RyanTM1-2/+2
2020-06-10Merge branch 'master' into staging-nextJan Tojnar4-28/+47
2020-06-08boolector: 3.0.0 -> 3.2.1Symphorien Gibol2-19/+38
2020-06-08btor2tools: pre55 -> 1.0.0-preSymphorien Gibol1-8/+8
2020-06-08Merge master into staging-nextFrederik Rietdijk2-15/+15
2020-06-08formatting: fix missing leading whitespace10001011-1/+1
2020-06-07Merge pull request #89667 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2020-06-07Merge pull request #89515 from lopsided98/qgroundcontrol-updateFrederik Rietdijk1-13/+13
2020-06-07Merge master into staging-nextFrederik Rietdijk2-4/+4
2020-06-06molden: 6.2 -> 6.3Markus Kowalewski1-2/+2
2020-06-06picard-tools: 2.22.8 -> 2.22.9R. RyanTM1-2/+2
2020-06-06lean: 3.14.0 -> 3.15.0R. RyanTM1-2/+2
2020-06-04qgroundcontrol: 3.5.5 -> 4.0.8Ben Wolsieffer1-13/+13
2020-06-04Merge master into staging-nextFrederik Rietdijk6-115/+28
2020-06-04Merge pull request #88466 from puzzlewolf/gazebo_removeLassulus3-93/+1
2020-06-03treewide: replace base64 encoded hashesDaiderd Jordan1-1/+1