about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
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
2021-07-14root,root5: apply nixpkgs-fmtDmitry Kalinkin2-13/+84
2021-07-14root: 6.24.00 -> 6.24.02Dmitry Kalinkin1-2/+2
2021-07-14fdr: deprecate phasesFelix Buehler1-1/+1
2021-07-14verifast: deprecate phasesFelix Buehler1-1/+1
2021-07-14logisim: deprecate phasesFelix Buehler1-1/+1
2021-07-14leo3-bin: deprecate phasesFelix Buehler1-8/+7
2021-07-14workcraft: deeprecate phasesFelix Buehler1-2/+1
2021-07-14treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*Sandro Jäckel1-2/+2
2021-07-13Merge pull request #130090 from evils/kicadDmitry Kalinkin2-11/+17
2021-07-13kicad-unstable: needs pythonEvils1-3/+9
2021-07-13kicad-unstable: 2021-05-16 -> 2021-07-12Evils1-8/+8
2021-07-12Merge pull request #130016 from r-ryantm/auto-update/engauge-digitizerRyan Mulligan1-2/+2
2021-07-12engauge-digitizer: 12.1 -> 12.2.2R. RyanTM1-2/+2
2021-07-12octopus: cleanup derivationMarkus Kowalewski1-3/+8
2021-07-12octopus: 10.3 -> 10.5Markus Kowalewski1-2/+2
2021-07-12Merge pull request #128856 from cburstedde/package-petsc-p4estmarkuskowa1-3/+7
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-13 08:43:59 +0000