about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2021-07-27mrbayes: 3.2.7 -> 3.2.7aSandro Jäckel1-2/+2
2021-07-27Merge pull request #131531 from SuperSandro2000/mrbayesSandro2-20/+12
2021-07-27mrbayes: modernizeSandro Jäckel2-20/+12
2021-07-26Merge pull request #130663 from symphorien/bitwuzlaGuillaume Girol2-3/+86
2021-07-25Merge pull request #131319 from r-ryantm/auto-update/jmolRyan Mulligan1-2/+2
2021-07-25logisim: create desktop entry (#131450)Angus Trau1-4/+26
2021-07-25bitwuzla: init at unstable-2021-07-01Guillaume Girol1-0/+67
2021-07-25Merge pull request #122828 from balodja/openmodelicaBen Siraphob21-330/+614
2021-07-24Merge pull request #131152 from r-ryantm/auto-update/bedopsSandro1-2/+2
2021-07-24openmodelica: 1.9.3 -> 1.17.0 with lots of changesVladimir Korolev21-330/+614
2021-07-24Merge pull request #131177 from r-ryantm/auto-update/finalfusion-utilsDaniël de Kok1-3/+3
2021-07-24jmol: 14.31.44 -> 14.31.46R. RyanTM1-2/+2
2021-07-23cadical: install libraryGuillaume Girol1-3/+19
2021-07-23nengo-gui: init at 0.4.8 (#130015)arjix1-0/+26
2021-07-23finalfusion-utils: 0.12.0 -> 0.13.0R. RyanTM1-3/+3
2021-07-23bedops: 2.4.39 -> 2.4.40R. RyanTM1-2/+2
2021-07-22Merge pull request #130971 from siraben/parallel-coqBen Siraphob1-0/+1
2021-07-22Merge pull request #130925 from SuperSandro2000/python-aliasesSandro1-1/+1
2021-07-22coq: enable parallel buildingBen Siraphob1-0/+1
2021-07-21pythonPackages: deprecate ConfigArgParse aliasSandro Jäckel1-1/+1
2021-07-21toil: update homepageSandro1-1/+1
2021-07-20toil: init at 5.4.0Dmitry Kalinkin1-0/+39
2021-07-20Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4Sandro1-10/+9
2021-07-20logisim: cleanupSandro1-10/+9
2021-07-20Merge pull request #130192 from Stunkymonkey/logisim-phasesSandro1-1/+1
2021-07-20Merge pull request #130661 from veprbl/pr/snakemake_6_6_1Sandro1-2/+5
2021-07-19boolector: 3.2.1 -> 3.2.2Guillaume Girol1-12/+4
2021-07-19snakemake: 6.5.3 -> 6.6.1Dmitry Kalinkin1-2/+2
2021-07-19snakemake: add missing optional dependenicesDmitry Kalinkin1-0/+3
2021-07-19Merge pull request #130583 from jvanbruegge/isabelle2021Ben Siraphob1-4/+23
2021-07-19simgrid: compile tests in parallelMillian Poquet1-0/+3
2021-07-19simgrid: fix paths in smpicc/smpicxxMillian Poquet1-1/+9
2021-07-19simgrid: propagate boostMillian Poquet1-1/+2
2021-07-19simgrid: 3.27 -> 3.28Millian Poquet1-2/+2
2021-07-19isabelle: Add desktop entryJan van Brügge1-1/+18
2021-07-18isabelle: 2020 -> 2021Jan van Brügge1-3/+5
2021-07-18treewide: convert phases that contain ":" to dont* = true (#130500)Sandro1-1/+1
2021-07-18pcalc: 20141224 -> 20181202Jörg Thalheim1-11/+12
2021-07-18Merge pull request #130194 from Stunkymonkey/fdr-phasesSandro1-1/+1
2021-07-18treewide: remove meta.versionFelix Buehler12-12/+0
2021-07-17Merge pull request #129834 from r-ryantm/auto-update/bcftoolsRobert Scott1-2/+2
2021-07-17Merge pull request #130404 from collares/pynac-0.7.29Guillaume Girol1-45/+3
2021-07-17cedille: set no hydra platforms(cdep)illabout1-0/+1
2021-07-17cedille: mark broken(cdep)illabout1-0/+4
2021-07-16pynac: 0.7.27 -> 0.7.29Mauricio Collares1-45/+3
2021-07-15Merge pull request #130193 from Stunkymonkey/verifast-phasesSandro1-1/+1
2021-07-15Merge pull request #130210 from veprbl/pr/root_6_24_02Sandro2-15/+86
2021-07-15Merge pull request #130187 from Stunkymonkey/workcraft-phasesSandro1-2/+1
2021-07-15mathematica: 12.3.0 -> 12.3.1FliegendeWurst1-2/+2
2021-07-15gappa: 1.3.5 → 1.4.0Vincent Laporte1-2/+2