Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | | | picard-tools: 2.18.9 -> 2.18.10 | R. RyanTM | 2018-07-21 | |
| |/ / / / | ||||
* | | | | | Merge pull request #43940 from r-ryantm/auto-update/gtkwave | Frederik Rietdijk | 2018-07-22 | |
|\ \ \ \ \ | ||||
| * | | | | | gtkwave: 3.3.91 -> 3.3.92 | R. RyanTM | 2018-07-21 | |
| |/ / / / | ||||
* | | | | | why3: 0.88.3 -> 1.0.0 | Ricardo M. Correia | 2018-07-21 | |
* | | | | | Merge branch 'master' into unused5 | Jörg Thalheim | 2018-07-21 | |
|\ \ \ \ \ | ||||
| * | | | | | [bot] treewide: remove unused 'inherit' in let blocks | volth | 2018-07-20 | |
* | | | | | | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 | |
|/ / / / / | ||||
* | | | | | Merge pull request #43857 from volth/unused | Frederik Rietdijk | 2018-07-20 | |
|\ \ \ \ \ | ||||
| * | | | | | [bot]: remove unreferenced code | volth | 2018-07-20 | |
* | | | | | | Merge pull request #43538 from timokau/fetchpatch-fix | Matthew Bauer | 2018-07-19 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | fetchpatch: add option to revert a patch | Timo Kaufmann | 2018-07-16 | |
* | | | | | | | treewide: remove aliases in nixpkgs | Matthew Bauer | 2018-07-18 | |
| |/ / / / / |/| | | | | | ||||
* | | | | | | Merge pull request #43679 from timokau/ntl-11.2.1 | Michael Raskin | 2018-07-18 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | ntl: 9.11.0 -> 11.2.1 | Timo Kaufmann | 2018-07-18 | |
* | | | | | | | nasc: 0.4.6 → 0.4.7 | Jan Tojnar | 2018-07-18 | |
| |_|/ / / / |/| | | | | | ||||
* | | | | | | clp: cleanup expression | Jan Malakhovski | 2018-07-16 | |
* | | | | | | cvc4: fix homepage url | Gabriel Ebner | 2018-07-16 | |
* | | | | | | bliss: fix header location (#43170) | fragamus | 2018-07-16 | |
* | | | | | | Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgs | Shea Levy | 2018-07-15 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||
| * | | | | | gurobi: init at 8.0.1 | Johannes Frankenau | 2018-07-14 | |
* | | | | | | eclib: 20171219 -> 20180710 | Timo Kaufmann | 2018-07-15 | |
| |/ / / / |/| | | | | ||||
* | | | | | z3: fix darwin build (#43526) | Mario Rodas | 2018-07-14 | |
* | | | | | octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484) | markuskowa | 2018-07-14 | |
* | | | | | pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496) | Timo Kaufmann | 2018-07-14 | |
* | | | | | Merge pull request #43436 from timokau/sage-new-flask | Frederik Rietdijk | 2018-07-13 | |
|\ \ \ \ \ | ||||
| * | | | | | sage: replace flask-babel version pin by patch | Timo Kaufmann | 2018-07-12 | |
* | | | | | | Merge pull request #43471 from r-ryantm/auto-update/igv | Frederik Rietdijk | 2018-07-13 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | igv: 2.4.11 -> 2.4.13 | R. RyanTM | 2018-07-13 | |
| | |_|_|/ / | |/| | | | | ||||
* | | | | | | Merge pull request #43472 from r-ryantm/auto-update/golly | Michael Raskin | 2018-07-13 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | golly: 3.1 -> 3.2 | R. RyanTM | 2018-07-13 | |
| |/ / / / / | ||||
* | | | | | | Merge pull request #43445 from dtzWill/fix/yices-symlink | Will Dietz | 2018-07-13 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | yices: use lib.splitString, not everyone has builtins.splitVersion | Will Dietz | 2018-07-12 | |
| * | | | | | | yices: simplify ln command | Will Dietz | 2018-07-12 | |
| * | | | | | | yices: fix symlink to match version of package | Will Dietz | 2018-07-12 | |
* | | | | | | | abc-verifier: 20160818 -> 2018-07-08 | Will Dietz | 2018-07-12 | |
* | | | | | | | libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style | Will Dietz | 2018-07-12 | |
|/ / / / / / | ||||
* | | | | | | z3: move to multiple output packages | Austin Seipp | 2018-07-12 | |
* | | | | | | jmol: 14.29.12 -> 14.29.17 (#43429) | Timo Kaufmann | 2018-07-12 | |
| |/ / / / |/| | | | | ||||
* | | | | | Merge pull request #43333 from r-ryantm/auto-update/libpoly | Frederik Rietdijk | 2018-07-11 | |
|\ \ \ \ \ | ||||
| * | | | | | libpoly: 0.1.4 -> 0.1.5 | R. RyanTM | 2018-07-11 | |
| |/ / / / | ||||
* | | | | | yices: 2.5.4 -> 2.6.0 | R. RyanTM | 2018-07-11 | |
* | | | | | qalculate-gtk: 2.6.0 -> 2.6.1 | R. RyanTM | 2018-07-11 | |
|/ / / / | ||||
* | | | | fricas: 1.3.3 -> 1.3.4 (#43023) | R. RyanTM | 2018-07-09 | |
* | | | | igv: 2.4.10 -> 2.4.11 (#43003) | R. RyanTM | 2018-07-09 | |
* | | | | Merge pull request #43096 from jbedo/mosdepth | Silvan Mosberger | 2018-07-09 | |
|\ \ \ \ | ||||
| * | | | | mosdepth: init 0.2.3 | Justin Bedo | 2018-07-09 | |
* | | | | | monosat: update build to use handy new environment variable | Dan Peebles | 2018-07-08 | |
* | | | | | monosat: cbaf79cf -> 2deeadef | Dan Peebles | 2018-07-08 | |
* | | | | | monosat: init at 1nx3wh34 | Dan Peebles | 2018-07-08 | |
* | | | | | picard-tools: 2.18.7 -> 2.18.9 (#42967) | R. RyanTM | 2018-07-06 | |
|/ / / / |