summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #38589 from badi/tlatoolsJörg Thalheim2018-04-17
|\
| * tlaplusToolbox: init at 1.5.6Badi Abdul-Wahid2018-04-16
| * tlaps: init at 1.4.3Badi Abdul-Wahid2018-04-16
* | Merge #38702: Mark packages as broken (ZHF)Vladimír Čunát2018-04-17
|\ \
| * | torchPackages.{sundown,lbase64}: mark as brokenxeji2018-04-12
| * | openmvg: mark as brokenxeji2018-04-12
* | | symbiyosys: larger meta.platformsVincent Laporte2018-04-16
* | | celestia: clean upJan Tojnar2018-04-15
* | | elan: 0.3.0 -> 0.3.2Gabriel Ebner2018-04-13
|/ /
* | Merge pull request #38768 from timokau/singular-4.1.1Michael Raskin2018-04-12
|\ \
| * | singular: 3.1.7 -> 4.1.1Timo Kaufmann2018-04-11
* | | Merge pull request #38812 from timokau/maxima-eclPeter Simons2018-04-12
|\ \ \
| * | | maxima: add various fixes, re-add ecl supportTimo Kaufmann2018-04-12
* | | | elan: add leanchecker proxyGabriel Ebner2018-04-11
|/ / /
* | | elan: 0.1.0 -> 0.3.0Gabriel Ebner2018-04-11
* | | gap-minimal: fix ofBorg evaluationGuillaume Maudoux2018-04-11
* | | gap: 4r8p3 -> 4r8p10Timo Kaufmann2018-04-11
|/ /
* | elan: init at 0.1.0Gabriel Ebner2018-04-10
* | Merge pull request #36852 from rprospero/sasview-for-prMatthew Justin Bauer2018-04-09
|\ \
| * | Remove lint from Sasview packageAdam Washington2018-03-22
| * | Make xhtml2pdf its own package in python-packagesAdam Washington2018-03-21
| * | sasview: init at 4.1.2Adam Washington2018-03-12
* | | 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
|\ \ \ \