summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* fricas: 1.3.3 -> 1.3.4 (#43023)R. RyanTM2018-07-09
* igv: 2.4.10 -> 2.4.11 (#43003)R. RyanTM2018-07-09
* Merge pull request #43096 from jbedo/mosdepthSilvan Mosberger2018-07-09
|\
| * mosdepth: init 0.2.3Justin Bedo2018-07-09
* | monosat: update build to use handy new environment variableDan Peebles2018-07-08
* | monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
* | monosat: init at 1nx3wh34Dan Peebles2018-07-08
* | picard-tools: 2.18.7 -> 2.18.9 (#42967)R. RyanTM2018-07-06
|/
* verilator: Allow building on Darwin as well as LinuxJohn Wiegley2018-07-05
* Merge pull request #43079 from matthewbauer/rework-extra-pkgsMatthew Bauer2018-07-05
|\
| * treewide: remove callPackage_i686Matthew Bauer2018-07-05
* | Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz2018-07-05
|\ \
| * | vampire: enable parallel buildingWill Dietz2018-07-05
| * | vampire: portability fixesWill Dietz2018-07-05
| * | vampire: use CC/CXX from env, instead of always g++Will Dietz2018-07-05
* | | cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
|/ /
* | qalculate-gtk: 2.5.0 -> 2.6.0Gabriel Ebner2018-07-05
* | eprover: 2.0 -> 2.1Gabriel Ebner2018-07-05
* | vampire: init at 4.2.2Gabriel Ebner2018-07-05
* | stellarium: 0.18.0 -> 0.18.1 (#42949)R. RyanTM2018-07-05
* | Merge pull request #43026 from r-ryantm/auto-update/clingoMichael Raskin2018-07-04
|\ \
| * | clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
| |/
* | Merge pull request #42897 from fragamus/masterSilvan Mosberger2018-07-04
|\ \ | |/ |/|
| * bliss: init at 0.73Michael Gough2018-07-04
* | pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840)Timo Kaufmann2018-07-02
* | Merge pull request #42843 from fragamus/masterSarah Brofeldt2018-07-02
|\|
| * hmetis: init at 1.5Michael Gough2018-07-01
* | R: update to version 3.5.1Peter Simons2018-07-02
|/
* Merge pull request #39981 from timokau/sage-on-nixosMichael Raskin2018-07-01
|\
| * sage: replace JUPYTER_PATH patch by upstream patchTimo Kaufmann2018-06-30
| * sage, arb: update sage dependencies arb and pynacTimo Kaufmann2018-06-30
| * sage: 8.1 -> 8.2, use system packagesTimo Kaufmann2018-06-30
| * symmetrica: add patchesTimo Kaufmann2018-06-30
* | librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786)Luz2018-06-30
* | treewide: http -> httpsRyan Mulligan2018-06-29
|/
* coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann2018-06-29
* Merge pull request #42590 from TimPut/openmvsbuildfixMatthew Bauer2018-06-28
|\
| * openmvs: fix CGAL 4.12 dependencytim put2018-06-26
* | Merge pull request #41929 from smaret/gildasMatthew Bauer2018-06-28
|\ \
| * | gildas: use internal LAPACK instead of OpenBLASSebastien Maret2018-06-26
| * | gildas: use the standard installPhaseSebastien Maret2018-06-26
| * | gildas: init at 201806_aSebastien Maret2018-06-26
* | | Merge pull request #42571 from iimog/hmmerMatthew Bauer2018-06-28
|\ \ \
| * | | hmmer: init at 3.1b2Markus Ankenbrand2018-06-25
| | |/ | |/|
* | | treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* | | treewide: http -> https (#42665)Ryan Mulligan2018-06-27
* | | gromacs: 2018.1 -> 2018.2 (#42504)R. RyanTM2018-06-27
* | | pynac: 0.7.21 -> 0.7.22 (#42650)Timo Kaufmann2018-06-27
* | | palp: restrict platforms to linux (#42651)Timo Kaufmann2018-06-27
* | | palp: fix runtime error introduced by #28029 (#42633)Timo Kaufmann2018-06-27
| |/ |/|