summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #38260 from symphorien/tamarin-vimMatthew Justin Bauer2018-04-08
|\
| * tamarin-prover: install vim syntax highlighting filesSymphorien Gibol2018-03-31
* | Merge pull request #38165 from r-ryantm/auto-update/picard-toolsMatthew Justin Bauer2018-04-08
|\ \
| * | picard-tools: 2.17.11 -> 2.18.1R. RyanTM2018-03-30
* | | openmvs-unstable: 2017-05-01 -> 2018-05-26Jörg Thalheim2018-04-08
* | | Merge pull request #38595 from r-ryantm/auto-update/bcftoolsJörg Thalheim2018-04-08
|\ \ \
| * | | bcftools: python/perl is needed for shebangsJörg Thalheim2018-04-08
| * | | bcftools: 1.7 -> 1.8R. RyanTM2018-04-07
* | | | nixpkgs: remove z3 4.5.0Austin Seipp2018-04-07
* | | | Merge pull request #38416 from bcdarwin/belugaJörg Thalheim2018-04-06
|\ \ \ \
| * | | | beluga: init at 20180403Ben Darwin2018-04-04
* | | | | Merge pull request #38478 from r-ryantm/auto-update/wekaJörg Thalheim2018-04-05
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | weka: use makeWrapperJörg Thalheim2018-04-05
| * | | | weka: 3.8.2 -> 3.9.2R. RyanTM2018-04-05
* | | | | Merge pull request #38237 from r-ryantm/auto-update/igvPeter Hoeg2018-04-05
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | igv: 2.4.9 -> 2.4.10R. RyanTM2018-03-31
| | |/ / | |/| |
* | | | abella: 2.0.4 -> 2.0.5Ben Darwin2018-04-04
| |/ / |/| |
* | | Merge pull request #37465 from timor/workcraftMatthew Justin Bauer2018-03-31
|\ \ \
| * | | workcraft: init at 3.1.9timor2018-03-21
* | | | gtkwave: 3.3.87 -> 3.3.89R. RyanTM2018-03-31
* | | | qalculate-gtk: 2.2.1 -> 2.3.0Gabriel Ebner2018-03-31
* | | | giac: fix urlSymphorien Gibol2018-03-30
* | | | python27Packages.spyder: 3.2.7 -> 3.2.8R. RyanTM2018-03-30
| |/ / |/| |
* | | Merge pull request #37670 from bgamari/libngspiceJörg Thalheim2018-03-26
|\ \ \
| * | | ngspice: Move shared library to a new derivationBen Gamari2018-03-25
* | | | geogebra: add archive.org link for 5-0-444-0Maximilian Bosch2018-03-25
|/ / /
* | | geogebra: 5-0-382-0 -> 5-0-444-0sternenseemann2018-03-25
* | | Merge pull request #37752 from ryantm/fix-urlsMatthew Justin Bauer2018-03-25
|\ \ \
| * | | treewide: use more HTTPS URLsRyan Mulligan2018-03-24
| |/ /
* | | qgroundcontrol: 3.2.7 -> 3.3.0Robin Gloster2018-03-24
* | | Merge pull request #37591 from vbgl/coq-88beta1John Wiegley2018-03-23
|\ \ \
| * | | coq: init at 8.8+beta1Vincent Laporte2018-03-21
| | |/ | |/|
* | | picosat: fix darwin buildDaiderd Jordan2018-03-24
* | | Merge pull request #37224 from matthewbauer/auto-update/jagsMatthew Justin Bauer2018-03-21
|\ \ \
| * | | jags: 4.1.0 -> 4.3.0Matthew Bauer2018-03-17
* | | | symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp2018-03-21
* | | | verilator: 3.920 -> 3.922Ryan Mulligan2018-03-21
| |_|/ |/| |
* | | Merge pull request #36381 from bgamari/bump-kicadMatthew Justin Bauer2018-03-19
|\ \ \
| * | | kicad-unstable: 2017-12-11 -> 2018-03-10Ben Gamari2018-03-10
* | | | Merge pull request #36846 from jbedo/snpeffMatthew Justin Bauer2018-03-19
|\ \ \ \
| * | | | snpeff: 4.3t -> 4.3qJustin Bedo2018-03-12
* | | | | Merge pull request #37356 from volth/gephi-from-sourcesJörg Thalheim2018-03-19
|\ \ \ \ \
| * | | | | gephi: build from sourcesvolth2018-03-19
* | | | | | Merge pull request #37079 from ryantm/auto-update/picard-toolsMatthew Justin Bauer2018-03-19
|\ \ \ \ \ \
| * | | | | | picard-tools: 2.17.10 -> 2.17.11Ryan Mulligan2018-03-15
* | | | | | | Merge pull request #36744 from samdroid-apps/add-nascMatthew Justin Bauer2018-03-19
|\ \ \ \ \ \ \
| * | | | | | | nasc: init at 0.4.6Sam Parkinson2018-03-10
* | | | | | | | Merge pull request #36435 from timokau/origin/ecm-updateGabriel Ebner2018-03-18
|\ \ \ \ \ \ \ \
| * | | | | | | | ecm: 6.4.4 -> 7.0.4Timo Kaufmann2018-03-07
* | | | | | | | | Merge pull request #37194 from ryantm/auto-update/gp2cGabriel Ebner2018-03-18
|\ \ \ \ \ \ \ \ \