about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2018-07-09fricas: 1.3.3 -> 1.3.4 (#43023)R. RyanTM1-2/+2
2018-07-09igv: 2.4.10 -> 2.4.11 (#43003)R. RyanTM1-2/+2
2018-07-09Merge pull request #43096 from jbedo/mosdepthSilvan Mosberger1-0/+42
2018-07-08monosat: update build to use handy new environment variableDan Peebles1-2/+5
2018-07-08monosat: cbaf79cf -> 2deeadefDan Peebles1-11/+2
2018-07-09mosdepth: init 0.2.3Justin Bedo1-0/+42
2018-07-08monosat: init at 1nx3wh34Dan Peebles1-0/+73
2018-07-06picard-tools: 2.18.7 -> 2.18.9 (#42967)R. RyanTM1-2/+2
2018-07-05verilator: Allow building on Darwin as well as LinuxJohn Wiegley1-1/+1
2018-07-05Merge pull request #43079 from matthewbauer/rework-extra-pkgsMatthew Bauer1-3/+3
2018-07-05treewide: remove callPackage_i686Matthew Bauer1-3/+3
2018-07-05Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz1-2/+25
2018-07-05cvc4: 1.5 -> 1.6Gabriel Ebner1-5/+5
2018-07-05vampire: enable parallel buildingWill Dietz1-0/+2
2018-07-05vampire: portability fixesWill Dietz1-1/+22
2018-07-05vampire: use CC/CXX from env, instead of always g++Will Dietz1-1/+1
2018-07-05qalculate-gtk: 2.5.0 -> 2.6.0Gabriel Ebner1-5/+7
2018-07-05eprover: 2.0 -> 2.1Gabriel Ebner1-6/+2
2018-07-05vampire: init at 4.2.2Gabriel Ebner1-0/+36
2018-07-05stellarium: 0.18.0 -> 0.18.1 (#42949)R. RyanTM1-2/+2
2018-07-04Merge pull request #43026 from r-ryantm/auto-update/clingoMichael Raskin1-2/+2
2018-07-04clingo: 5.2.2 -> 5.3.0R. RyanTM1-2/+2
2018-07-04Merge pull request #42897 from fragamus/masterSilvan Mosberger1-0/+37
2018-07-04bliss: init at 0.73Michael Gough1-0/+37
2018-07-02pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840)Timo Kaufmann1-7/+0
2018-07-02Merge pull request #42843 from fragamus/masterSarah Brofeldt1-0/+42
2018-07-02R: update to version 3.5.1Peter Simons1-4/+3
2018-07-01hmetis: init at 1.5Michael Gough1-0/+42
2018-07-01Merge pull request #39981 from timokau/sage-on-nixosMichael Raskin40-413/+3634
2018-06-30sage: replace JUPYTER_PATH patch by upstream patchTimo Kaufmann2-3/+37
2018-06-30sage, arb: update sage dependencies arb and pynacTimo Kaufmann4-21/+912
2018-06-30librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786)Luz2-35/+8
2018-06-29treewide: http -> httpsRyan Mulligan1-1/+1
2018-06-30sage: 8.1 -> 8.2, use system packagesTimo Kaufmann36-410/+2689
2018-06-30symmetrica: add patchesTimo Kaufmann1-3/+20
2018-06-29coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann1-0/+1
2018-06-28Merge pull request #42590 from TimPut/openmvsbuildfixMatthew Bauer1-0/+18
2018-06-28Merge pull request #41929 from smaret/gildasMatthew Bauer4-0/+122
2018-06-28Merge pull request #42571 from iimog/hmmerMatthew Bauer1-0/+28
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger27-38/+38
2018-06-27treewide: http -> https (#42665)Ryan Mulligan1-1/+1
2018-06-27gromacs: 2018.1 -> 2018.2 (#42504)R. RyanTM1-3/+3
2018-06-27pynac: 0.7.21 -> 0.7.22 (#42650)Timo Kaufmann1-2/+2
2018-06-27palp: restrict platforms to linux (#42651)Timo Kaufmann1-1/+1
2018-06-27palp: fix runtime error introduced by #28029 (#42633)Timo Kaufmann1-1/+16
2018-06-26openmvs: fix CGAL 4.12 dependencytim put1-0/+18
2018-06-26gildas: use internal LAPACK instead of OpenBLASSebastien Maret2-100/+4
2018-06-26gildas: use the standard installPhaseSebastien Maret1-2/+2
2018-06-26gildas: init at 201806_aSebastien Maret5-0/+218
2018-06-25openmvg: 1.1 -> 1.3tim put1-2/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-13 12:21:00 +0000