Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq-8.4: fix build of ssreflect and mathcomp | Vincent Laporte | 2017-01-25 |
* | Coq: propagates the findlib package | Vincent Laporte | 2017-01-25 |
* | coq: minor refactoring | Vincent Laporte | 2017-01-25 |
* | coq: merge files 8.5.nix and 8.6.nix into default.nix | Vincent Laporte | 2017-01-25 |
* | alt-ergo: 0.99.1 -> 1.30 | Vincent Laporte | 2017-01-21 |
* | why3: 0.87.1 -> 0.87.3 | Vincent Laporte | 2017-01-21 |
* | lean: 2017-01-14 -> 3.0.0 | Gabriel Ebner | 2017-01-20 |
* | lean: 2017-01-06 -> 2017-01-14 | Gabriel Ebner | 2017-01-14 |
* | Merge pull request #21819 from AtnNn/isabelle | Pascal Wittmann | 2017-01-13 |
|\ | |||
| * | isabelle: 2016 -> 2016-1 | Etienne Laurin | 2017-01-11 |
* | | Merge pull request #21632 from veprbl/sherpa_fix | Michael Raskin | 2017-01-09 |
|\ \ | |||
| * | | sherpa: add useful dependencies | Dmitry Kalinkin | 2017-01-07 |
| * | | sherpa: fix sqlite dependency | Dmitry Kalinkin | 2017-01-04 |
* | | | Merge branch 'staging'; security /cc #21642 | Vladimír Čunát | 2017-01-06 |
|\ \ \ | |||
| * | | | Merge branch 'master' into staging | Daiderd Jordan | 2017-01-04 |
| |\| | | |||
| * | | | Merge branch 'master' into staging | Daiderd Jordan | 2017-01-02 |
| |\ \ \ | |||
| * | | | | root: 6.04.18 -> 6.08.02 | Dmitry Kalinkin | 2017-01-01 |
* | | | | | lean: 2016-12-30 -> 2017-01-06 | Gabriel Ebner | 2017-01-06 |
| |_|/ / |/| | | | |||
* | | | | haskellPackages.z3: fix #16357 | Domen Kožar | 2017-01-03 |
* | | | | maxima: 5.38.1 -> 5.39.0 | Michael Raskin | 2017-01-02 |
| |/ / |/| | | |||
* | | | fityk: 1.3.0 -> 1.3.1 | Pascal Wittmann | 2017-01-01 |
* | | | lean: 2016-12-08 -> 2016-12-30 | Gabriel Ebner | 2016-12-31 |
| |/ |/| | |||
* | | sherpa: init at 2.2.1 | Dmitry Kalinkin | 2016-12-30 |
|/ | |||
* | Merge pull request #21221 from rardiol/gplates | Michael Raskin | 2016-12-28 |
|\ | |||
| * | gplates: init at 2.0.0 | Ricardo Ardissone | 2016-12-16 |
* | | igv: 2.3.77 -> 2.3.89 | mimadrid | 2016-12-23 |
* | | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2016-12-22 |
* | | freebayes: init at 1.1.0 | Jason Daniel Augustine Gilliland | 2016-12-22 |
* | | stellarium: 0.14.3 -> 0.15.0 | ft@zeus | 2016-12-21 |
* | | coq_8_6: 8.6rc1 -> 8.6 | John Wiegley | 2016-12-14 |
* | | coq_HEAD: Update to the latest commit as of 2016-12-13 | John Wiegley | 2016-12-13 |
* | | coq_8_6: new package, based on Coq 8.6rc1 | John Wiegley | 2016-12-13 |
* | | minisat: Fix build on Darwin | Eelco Dolstra | 2016-12-09 |
* | | lean: init at 2016-12-08 | Gabriel Ebner | 2016-12-08 |
* | | lean2: 2016-07-05 -> 2016-11-29 | Gabriel Ebner | 2016-12-08 |
* | | pari: 2.9.0 -> 2.9.1 | Michael Raskin | 2016-12-08 |
* | | hol_light: fix build with Camlp5-6.17 | Vincent Laporte | 2016-11-29 |
* | | yarp: 2.3.66.1 -> 2.3.68 | Nicolò Balzarotti | 2016-11-28 |
* | | Merge pull request #20672 from AndersonTorres/pari | Michael Raskin | 2016-11-26 |
|\ \ | |/ |/| | |||
| * | pari/gp: 2.7.6 -> 2.9.0 | AndersonTorres | 2016-11-24 |
* | | [mathematica] 10.0.2 -> 11.0.1 | Ole Krüger | 2016-11-25 |
|/ | |||
* | Merge #20264: root: fix environment setup | Vladimír Čunát | 2016-11-14 |
|\ | |||
| * | root: fix environment setup | Dmitry Kalinkin | 2016-10-29 |
* | | plink-ng: init at 1.90b3 | Justin Bedo | 2016-11-14 |
* | | coq: Improve emacs buffer handling | Shea Levy | 2016-11-13 |
* | | nixpkgs: proverif 1.94 -> 1.95 | Austin Seipp | 2016-11-10 |
* | | Merge pull request #20267 from jbedo/master | Frederik Rietdijk | 2016-11-09 |
|\ \ | |||
| * | | Fix bcftools installation prefix | Justin Bedo | 2016-11-09 |
* | | | z3: 4.4.1 -> 4.5.0 | Gabriel Ebner | 2016-11-08 |
|/ / | |||
* | | Remove pal2nal | Tim Steinbach | 2016-11-03 |