summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #44129 from timokau/pari-2.11.0Frederik Rietdijk2018-07-27
|\
| * pari: 2.9.5 -> 2.11.0Timo Kaufmann2018-07-26
* | Merge pull request #42149 from timjrd/openspace-rebaseMatthew Bauer2018-07-23
|\ \
| * | openspace: init at 0.11.1Timothée Jourde2018-06-19
* | | singular: 4.1.1p1 -> 4.1.1p2Timo Kaufmann2018-07-23
* | | Merge pull request #43899 from r-ryantm/auto-update/tla-toolboxFrederik Rietdijk2018-07-22
|\ \ \
| * | | tlaplusToolbox: 1.5.6 -> 1.5.7R. RyanTM2018-07-21
| | |/ | |/|
* | | Merge pull request #43913 from r-ryantm/auto-update/picard-toolsFrederik Rietdijk2018-07-22
|\ \ \
| * | | picard-tools: 2.18.9 -> 2.18.10R. RyanTM2018-07-21
| |/ /
* | | Merge pull request #43940 from r-ryantm/auto-update/gtkwaveFrederik Rietdijk2018-07-22
|\ \ \
| * | | gtkwave: 3.3.91 -> 3.3.92R. RyanTM2018-07-21
| |/ /
* | | why3: 0.88.3 -> 1.0.0Ricardo M. Correia2018-07-21
* | | Merge branch 'master' into unused5Jörg Thalheim2018-07-21
|\ \ \
| * | | [bot] treewide: remove unused 'inherit' in let blocksvolth2018-07-20
* | | | pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|/ / /
* | | Merge pull request #43857 from volth/unusedFrederik Rietdijk2018-07-20
|\ \ \
| * | | [bot]: remove unreferenced codevolth2018-07-20
* | | | Merge pull request #43538 from timokau/fetchpatch-fixMatthew Bauer2018-07-19
|\ \ \ \
| * | | | fetchpatch: add option to revert a patchTimo Kaufmann2018-07-16
* | | | | treewide: remove aliases in nixpkgsMatthew Bauer2018-07-18
| |/ / / |/| | |
* | | | Merge pull request #43679 from timokau/ntl-11.2.1Michael Raskin2018-07-18
|\ \ \ \
| * | | | ntl: 9.11.0 -> 11.2.1Timo Kaufmann2018-07-18
* | | | | nasc: 0.4.6 → 0.4.7Jan Tojnar2018-07-18
| |_|/ / |/| | |
* | | | 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
|/ / /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 11:47:57 +0000