| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | tptp: replace use of builderDefsPackage | Gabriel Ebner | 2016-01-29 |
| | | |||
| * | tptp: 6.1.0 -> 6.3.0 | Gabriel Ebner | 2016-01-29 |
| | | |||
| * | coq_8_5: 8.5rc1 -> 8.5 | John Wiegley | 2016-01-25 |
| | | |||
| * | Remove no longer (or never) referenced patches | Tobias Geerinckx-Rice | 2016-01-24 |
| | | | | | 55 files changed, 6041 deletions. Tested with `nix-build -A tarball`. | ||
| * | Merge branch 'staging' | Vladimír Čunát | 2016-01-22 |
| |\ | |||
| | * | refactor to use autoreconfHook where possible | Robin Gloster | 2016-01-18 |
| | | | | | | | | | Close #12446. | ||
| * | | Merge pull request #12519 from gebner/metis-20160102 | Arseniy Seroka | 2016-01-21 |
| |\ \ | | | | | | | metis-prover: 2.3.20160101 -> 2.3.20160102 | ||
| | * | | metis-prover: 2.3.20160101 -> 2.3.20160102 | Gabriel Ebner | 2016-01-21 |
| | |/ | |||
| * / | z3: 4.4.0 -> 4.4.1 | Ricardo M. Correia | 2016-01-21 |
| |/ | |||
| * | Merge pull request #12443 from gebner/lean-ninja | Pascal Wittmann | 2016-01-17 |
| |\ | | | | | lean: update and add wrapper for linja | ||
| | * | lean: add wrapper for linja | Gabriel Ebner | 2016-01-17 |
| | | | |||
| | * | lean: 20150821 -> 20160117 | Gabriel Ebner | 2016-01-17 |
| | | | |||
| * | | R: add a new `enableStrictBarrier` package option. | Mathieu Boespflug | 2016-01-17 |
| |/ | | | | | | | | This option compiles R with --enable-strict-barrier. Doing so is enables extra memory diagnostics in R that very useful for debugging memory leak or memory protections issues in extensions to R written in C, or for any apps embedding R (e.g. Haskell aps embedding R via HaskellR). | ||
| * | tkgate 2.x: remove dead package | Tobias Geerinckx-Rice | 2016-01-14 |
| | | | | | Broken since April 2014. Homepage leads to an expired domain. | ||
| * | R: fix Darwin build | Asko Soukka | 2016-01-06 |
| | | | | | Merged manually from https://github.com/NixOS/nixpkgs/pull/10623. | ||
| * | alt-ergo: also supported on Darwin | Vincent Laporte | 2016-01-04 |
| | | |||
| * | metis-prover: 2.3 -> 2.3.20160101 | Gabriel Ebner | 2016-01-02 |
| | | |||
| * | pari (PARI/GP): 2.7.4 -> 2.7.5 | Michael Raskin | 2016-01-01 |
| | | |||
| * | coqPackages_8_5.coq: 8.5b2 -> 8.5rc1 | John Wiegley | 2015-12-21 |
| | | |||
| * | fritzing: Qt 5 infrastructure update | Thomas Tuegel | 2015-12-20 |
| | | |||
| * | Merge pull request #11075 from mogorman/pcb | Arseniy Seroka | 2015-12-17 |
| |\ | | | | | pcb: new package | ||
| | * | pcb: init at 20140316 | Matthew O'Gorman | 2015-12-16 |
| | | | |||
| * | | Merge pull request #11074 from mogorman/gerbv | Pascal Wittmann | 2015-12-16 |
| |\ \ | | | | | | | gerbv: new package | ||
| | * | | gerbv: init at git-2015-10-07 | Matthew O'Gorman | 2015-12-15 |
| | |/ | |||
| * | | Merge pull request #11073 from mogorman/geda_fix | Pascal Wittmann | 2015-12-14 |
| |\ \ | | | | | | | geda: refdes_renum called /usr/bin/perl | ||
| | * | | geda: refdes_renum called /usr/bin/perl | Matthew O'Gorman | 2015-12-14 |
| | |/ | |||
| * | | R: 3.2.2 -> 3.2.3 | Michel Kuhlmann | 2015-12-11 |
| | | | |||
| * | | eagle: 6.6.0 -> 7.5.0 | Bjørn Forsman | 2015-12-08 |
| | | | | | | | | | | | | | * It grew a couple of extra (hard) dependencies: libxcb, cups, xkeyboardconfig * It is also available in native 64-bit version (yay!) | ||
| * | | python spyder: 2.3.7 -> 2.3.8 | Frederik Rietdijk | 2015-12-01 |
| | | | |||
| * | | why3: 0.86.1 -> 0.86.2 | Vincent Laporte | 2015-12-01 |
| | | | |||
| * | | mathematica package patchPhase does not like set -e | Aristid Breitkreuz | 2015-11-30 |
| | | | |||
| * | | Merge pull request #11302 from fkz/sad | Arseniy Seroka | 2015-11-27 |
| |\ \ | | | | | | | add package: system for automated deduction | ||
| | * | | system for automated deduction: init at 2.3-25 | Fabian Schmitthenner | 2015-11-27 |
| | | | | |||
| * | | | Merge branch 'buildPythonPackage+wheels' | Domen Kožar | 2015-11-26 |
| |\ \ \ | |||
| | * | | | buildPythonPackage: fix more wheels failures | Domen Kožar | 2015-11-21 |
| | | | | | |||
| * | | | | Revert "coq: 8.5b2 -> 8.5b3" | John Wiegley | 2015-11-25 |
| | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit c111b0cd4d3d9b419e63623364132f2e6e55db44. @oconnorr I will restore this once there is more ecosystem to support it. | ||
| * | | | | R: add curl for https support | Nikolay Amiantov | 2015-11-25 |
| | | | | | |||
| * | | | | gap: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | spass: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | opensmt: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | iprover: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | cvc3: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | singular: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| | | | | | |||
| * | | | | drgeo: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| |/ / / | |||
| * | | | coq: 8.5b2 -> 8.5b3 | Russell O'Connor | 2015-11-19 |
| | | | | |||
| * | | | Replace 'with plaforms; platform' with 'platforms.platform' | Pascal Wittmann | 2015-11-17 |
| | |/ |/| | |||
| * | | Update HOL Light to version 2015-11-02 | Marco Maggesi | 2015-11-03 |
| |/ | |||
| * | R: advance to version 3.2.2. | Karn Kallio | 2015-10-02 |
| | | | | | A test failing without recommended packages has been patched. | ||
| * | Merge pull request #9917 from FlorentBecker/sage | Peter Simons | 2015-09-30 |
| |\ | | | | | Update sage to 6.8 | ||
| | * | sage: 6.1.1 -> 6.8 | Florent Becker | 2015-09-22 |
| | | | |||