summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'NixOS/master' into stagingMatthew Bauer2019-01-27
|\
| * leo3: init at 1.2Michael Raskin2019-01-27
| * mathematica: 11.2.0 -> 11.3.0Artemis Tosini2019-01-25
| * coq_8_9: 8.9+beta1 -> 8.9.0Vincent Laporte2019-01-24
| * z3-tptp: initMichael Raskin2019-01-22
* | pantheon: init a 5.0worldofpeace2019-01-24
* | Merge branch 'master' into stagingVladimír Čunát2019-01-22
|\|
| * Merge pull request #48675 from veprbl/pr/xfitter_fixDmitry Kalinkin2019-01-20
| |\
| | * xfitter: extend UB patch to fix all -Wreturn-type issuesDmitry Kalinkin2018-10-08
| * | lean: 3.4.1 -> 3.4.2Mario Rodas2019-01-20
| * | nixpkgs: remove sapic-0.9Austin Seipp2019-01-19
| * | tamarin-prover: 1.4.0 -> 1.4.1, bundled sapicAustin Seipp2019-01-19
| * | Merge pull request #53839 from fusion809/marvinDmitry Kalinkin2019-01-19
| |\ \
| | * | marvin: init at 19.1.0Brenton Horne2019-01-15
* | | | Merge pull request #54094 from rnhmjoj/shellFrederik Rietdijk2019-01-19
|\ \ \ \ | |/ / / |/| | |
| * | | treewide: use ${stdenv.shell} instead of /bin/sh where possiblernhmjoj2019-01-16
* | | | sage: fix transient ecl error (#54285)Timo Kaufmann2019-01-18
* | | | Merge pull request #54209 from r-ryantm/auto-update/gmshmarkuskowa2019-01-18
|\ \ \ \
| * | | | gmsh: 4.0.7 -> 4.1.0R. RyanTM2019-01-17
* | | | | Merge pull request #54153 from r-ryantm/auto-update/picard-toolsworldofpeace2019-01-18
|\ \ \ \ \
| * | | | | picard-tools: 2.18.21 -> 2.18.23R. RyanTM2019-01-16
| | |/ / / | |/| | |
* | | | | sage: 8.5 -> 8.6Timo Kaufmann2019-01-17
* | | | | Merge pull request #54127 from timokau/gap-improvementsTimo Kaufmann2019-01-17
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | gap: add packageSet optionTimo Kaufmann2019-01-17
| * | | | gap: install libgapTimo Kaufmann2019-01-17
| * | | | gap: add timokau as maintainerTimo Kaufmann2019-01-16
| |/ / /
* / / / python.pkgs.cypari2: 1.3.1 -> 2.0.3 (#54093)Timo Kaufmann2019-01-16
|/ / /
* | | elan: 0.7.1 -> 0.7.2Gabriel Ebner2019-01-15
* | | gurobi: 8.0.1 -> 8.1 (#53884)Johannes Frankenau2019-01-13
* | | minimap2: 2.10 -> 2.14 (#52845)R. RyanTM2019-01-13
* | | Merge branch 'master' into staging-nextVladimír Čunát2019-01-12
|\| |
| * | root5: mark as broken on LinuxDmitry Kalinkin2019-01-11
| * | root, root5: fix build on darwinDmitry Kalinkin2019-01-11
| * | bftools: init at 5.9.2 (#53769)tbenst2019-01-10
| * | Merge pull request #53478 from bgamari/bump-ngspicemarkuskowa2019-01-10
| |\ \
| | * | ngspice: 29 -> 30Ben Gamari2019-01-03
* | | | Merge branch 'master' into staging-nextVladimír Čunát2019-01-10
|\| | |
| * | | yices: s/fetchurl/fetchFromGitHub/Austin Seipp2019-01-08
| * | | z3: 4.8.3 -> 4.8.4Austin Seipp2019-01-08
| * | | symbiyosys: 2018.09.12 -> 2018.12.09Austin Seipp2019-01-08
| * | | abella: 2.0.5 -> 2.0.6Simon Lackerbauer2019-01-08
| * | | pynac: 0.7.22 -> 0.7.23 (#53559)R. RyanTM2019-01-07
| * | | Merge #53490: fix treewide linking errors after #51770Vladimír Čunát2019-01-06
| |\ \ \
| | * | | golly-beta: link with lib{dl,GL} explicitlyPiotr Bogdan2019-01-04
| | * | | avogadro: fix libX11 underlinkingPiotr Bogdan2019-01-04
* | | | | Merge staging-next into stagingFrederik Rietdijk2019-01-06
|\| | | |
| * | | | Merge master into staging-nextFrederik Rietdijk2019-01-06
| |\ \ \ \
| | * | | | cryptominisat: switch to python3Jörg Thalheim2019-01-05
| | * | | | cryptominisat: 5.0.1 -> 5.6.6Jörg Thalheim2019-01-05
* | | | | | Merge staging-next into stagingFrederik Rietdijk2019-01-05
|\| | | | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 13:49:09 +0000