summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* mxnet: init at 0.11.0Nikolay Amiantov2017-09-16
* Revert "mcrl2: force use of gcc5 to prevent compilation errors"Franz Pletz2017-09-15
* lean: 3.2.0 -> 3.3.0Gabriel Ebner2017-09-15
* proverif: 1.95 -> 1.97pl1Vincent Laporte2017-09-13
* qfsm: fix build with gcc 6 (#29245)timor2017-09-11
* eagle: 7.5 -> 7.7Bjørn Forsman2017-09-11
* mcrl2: force use of gcc5 to prevent compilation errorsMaarten Hoogendoorn2017-09-10
* kicad: 4.0.6 -> 4.0.7Bjørn Forsman2017-09-09
* kicad: put the full version string in nameBjørn Forsman2017-09-09
* mcrl2: 201409 -> 201707Markus Mueller2017-09-08
* caffe: add Python supportNikolay Amiantov2017-09-07
* caffe: 2015-07-02 -> 1.0-rc5Nikolay Amiantov2017-09-07
* coq_8_7: init at 8.7+beta1Théo Zimmermann2017-09-06
* coq: fetch source from GitHubThéo Zimmermann2017-09-06
* Merge pull request #28948 from disassembler/qucsMichael Raskin2017-09-06
|\
| * qucs: 0.0.18 -> 0.0.19Samuel Leathers2017-09-03
| * adms: init at 2.3.6Samuel Leathers2017-09-03
* | bwa: 0.7.15 -> 0.7.16aRobin Gloster2017-09-05
* | eprover: 1.9.1 -> 2.0Gabriel Ebner2017-09-05
* | neuron: 7.4 -> 7.5Samuel Leathers2017-09-02
|/
* z3_opt: remove and replace with z3Austin Seipp2017-09-02
* yices: now under GPLv3Austin Seipp2017-09-02
* iverilog: 2016.05.21 -> 2017.08.12Austin Seipp2017-09-02
* caneda: fix build with gcc6Samuel Leathers2017-08-31
* Merge pull request #28801 from veprbl/sherpa_2_2_4Jörg Thalheim2017-08-31
|\
| * sherpa: 2.2.1 -> 2.2.4Dmitry Kalinkin2017-08-31
* | Merge pull request #28756 from disassembler/pulseview-sigrokJörg Thalheim2017-08-31
|\ \
| * | pulseview: 0.3.0 -> 0.4.0Samuel Leathers2017-08-30
* | | root: add noSplash optionDmitry Kalinkin2017-08-30
| |/ |/|
* | gfan: 0.5 -> 0.6; #28643Michael Raskin2017-08-30
* | xplanet: gcc6 patchSamuel Leathers2017-08-30
|/
* pspp: 0.8.3 -> 1.0.1Lancelot SIX2017-08-30
* cvc3: Add gcc6 patch from Gentoo.Will Dietz2017-08-29
* qalculate-gtk: 1.0.0 -> 2.0.0aGabriel Ebner2017-08-29
* meson/ninja: add setup hooks (#28444)Lukas Werling2017-08-27
* yices: 2.5.2 -> 2.5.3Will Dietz2017-08-27
* libpoly: 0.1.3 -> 0.1.4Will Dietz2017-08-27
* root: 6.10.02 -> 6.10.04Dmitry Kalinkin2017-08-22
* Merge pull request #28377 from Ma27/update/geogebraJoachim F2017-08-20
|\
| * geogebra: fallback to web.archive.orgMaximilian Bosch2017-08-18
| * geogebra: 5-0-377-0 -> 5-0-382-0Maximilian Bosch2017-08-18
* | Merge pull request #28320 from rybern/add-poretoolsFrederik Rietdijk2017-08-20
|\ \
| * | poretools: version number to commit dateRyan Bernstein2017-08-18
| * | poretools: init at 0.6.0Ryan Bernstein2017-08-17
* | | open-wbo: init at 2.0Gabriel Ebner2017-08-20
* | | lean2: 2016-11-29 -> 2017-07-22Gabriel Ebner2017-08-19
* | | acgtk: fix homepage urlMatthew Bauer2017-08-17
* | | caneda: use caneda.org for homepageMatthew Bauer2017-08-17
* | | use https://github.com for all homepagesMatthew Bauer2017-08-17
|/ /
* | Merge pull request #27440 from mnacamura/mathematica11_fix_ldpathFrederik Rietdijk2017-08-13
|\ \
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 16:51:21 +0000