about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* clp: cleanup expressionJan Malakhovski2018-07-16
* cvc4: fix homepage urlGabriel Ebner2018-07-16
* bliss: fix header location (#43170)fragamus2018-07-16
* Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgsShea Levy2018-07-15
|\
| * gurobi: init at 8.0.1Johannes Frankenau2018-07-14
* | eclib: 20171219 -> 20180710Timo Kaufmann2018-07-15
* | z3: fix darwin build (#43526)Mario Rodas2018-07-14
* | octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484)markuskowa2018-07-14
* | pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496)Timo Kaufmann2018-07-14
* | Merge pull request #43436 from timokau/sage-new-flaskFrederik Rietdijk2018-07-13
|\ \
| * | sage: replace flask-babel version pin by patchTimo Kaufmann2018-07-12
* | | Merge pull request #43471 from r-ryantm/auto-update/igvFrederik Rietdijk2018-07-13
|\ \ \
| * | | igv: 2.4.11 -> 2.4.13R. RyanTM2018-07-13
* | | | Merge pull request #43472 from r-ryantm/auto-update/gollyMichael Raskin2018-07-13
|\ \ \ \
| * | | | golly: 3.1 -> 3.2R. RyanTM2018-07-13
| |/ / /
* | | | Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz2018-07-13
|\ \ \ \
| * | | | yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz2018-07-12
| * | | | yices: simplify ln commandWill Dietz2018-07-12
| * | | | yices: fix symlink to match version of packageWill Dietz2018-07-12
* | | | | abc-verifier: 20160818 -> 2018-07-08Will Dietz2018-07-12
* | | | | libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz2018-07-12
|/ / / /
* | | | z3: move to multiple output packagesAustin Seipp2018-07-12
* | | | jmol: 14.29.12 -> 14.29.17 (#43429)Timo Kaufmann2018-07-12
| |/ / |/| |
* | | Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk2018-07-11
|\ \ \
| * | | libpoly: 0.1.4 -> 0.1.5R. RyanTM2018-07-11
| |/ /
* | | yices: 2.5.4 -> 2.6.0R. RyanTM2018-07-11
* | | qalculate-gtk: 2.6.0 -> 2.6.1R. RyanTM2018-07-11
|/ /
* | 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
|\ \ \ | |/ / |/| |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-11 06:08:07 +0000