summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2019-02-25why3: 1.1.1 -> 1.2.0Vincent Laporte
2019-02-25Fix sc2-headless map hash (#56320)Sophie Taylor
2019-02-22Merge pull request #56178 from luzpaz/gmsh-4.1.5markuskowa
2019-02-22Added maps to sc2-headlessSophie Taylor
2019-02-21gmsh: 4.1.3 -> 4.1.5luz.paz
2019-02-03sc2-headless: move defaults to package fileJan Malakhovski
2019-02-20Merge branch 'staging-next'Vladimír Čunát
2019-02-19Merge pull request #56026 from oxij/tree/move-defaults-to-package-files-half-...Michael Raskin
2019-02-19Merge pull request #55633 from vbgl/alt-ergo-2.3.0Vincent Laporte
2019-02-18Merge master into staging-nextFrederik Rietdijk
2019-02-17Merge pull request #55052 from smaret/gildas-updateRyan Mulligan
2019-02-17python.pkgs.caffe: fix build, closes #8749Frederik Rietdijk
2019-02-17Merge branch 'master' into staging-nextVladimír Čunát
2019-02-16Merge branch 'auto-update/qalculate-gtk'Gabriel Ebner
2019-02-16Merge master into staging-nextFrederik Rietdijk
2019-02-15qalculate-gtk: 2.8.2 -> 2.9.0R. RyanTM
2019-02-15gildas: 20190201_a -> 20190201_bSébastien Maret
2019-02-14sage: fix fetchSageDiff (#55783)Timo Kaufmann
2019-02-14z3: Patch file to get rid of python errorSamuel W. Flint
2019-02-13Merge pull request #55629 from spacekitteh/patch-30Michael Bishop
2019-02-13Merge pull request #55129 from oxij/tree/move-defaults-to-package-filesMichael Raskin
2019-02-13Merge master into staging-nextFrederik Rietdijk
2019-02-13Update maps.nixSophie Taylor
2019-02-12Update and rename maps.nix to maps-replays.nixSophie Taylor
2019-02-12alt-ergo: 2.2.0 -> 2.3.0Vincent Laporte
2019-02-12Merge pull request #54991 from FlorianFranzen/sc2-headlessSarah Brofeldt
2019-02-11sage: add numpy 1.16 compatibility patchTimo Kaufmann
2019-02-11sage: add compatibility for sphinx 1.8.3 (#55078) (#55560)Timo Kaufmann
2019-02-10Merge branch 'staging-next' into stagingFlorian Franzen
2019-02-09Merge remote-tracking branch 'origin/master' into stagingMatthew Bauer
2019-02-09sagelib: fix missing pkgs.pkgconfigVladimír Čunát
2019-02-08cmtk: init at 3.3.1 (#54016)tbenst
2019-02-07Merge pull request #55077 from m-labs/for-upstreamWill Dietz
2019-02-06Merge pull request #55299 from r-ryantm/auto-update/jmolTimo Kaufmann
2019-02-06Merge pull request #55298 from r-ryantm/auto-update/igvmarkuskowa
2019-02-06jmol: remove redundant name attributeMarkus Kowalewski
2019-02-05jmol: 14.29.29 -> 14.29.31R. RyanTM
2019-02-05igv: 2.4.16 -> 2.4.17R. RyanTM
2019-02-05molden: 5.8.2 -> 5.9.3 (#55044)markuskowa
2019-02-04Merge pull request #55152 from r-ryantm/auto-update/starmarkuskowa
2019-02-04verilator: 4.008 -> 4.010R. RyanTM
2019-02-03star: 2.6.1d -> 2.7.0aR. RyanTM
2019-02-03cntk: move defaults to package fileJan Malakhovski
2019-02-03caffe: move defaults to package fileJan Malakhovski
2019-02-03mxnet: move defaults to package fileJan Malakhovski
2019-02-03cplex: move defaults to package fileJan Malakhovski
2019-02-03scilab: move defaults to package fileJan Malakhovski
2019-02-03rink: init at 0.4.4Sebastien Bourdeauducq
2019-02-02sage: add compatibility for sphinx 1.8.3 (#55078)Timo Kaufmann
2019-02-01gildas: 20190101_b -> 20190201_aSébastien Maret