| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | coqPackages.interval: fix URL | Vincent Laporte | 2017-08-11 | 1 | -2/+2 |
| * | coqPackages.autosubst: fix hash | Vincent Laporte | 2017-07-28 | 1 | -1/+1 |
| * | coqPackages_8_6.CoLoR: Fix installPhase | John Wiegley | 2017-07-18 | 1 | -1/+4 |
| * | coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6 | John Wiegley | 2017-07-18 | 1 | -8/+13 |
| * | coqPackages_8_6.CoLoR: new expression 1.3.0 | John Wiegley | 2017-07-18 | 1 | -0/+21 |
| * | coqPackages.autosubst: New expression | John Wiegley | 2017-07-10 | 2 | -0/+161 |
| * | coqPackages.QuickChick: 20170422 -> 20170710 | John Wiegley | 2017-07-10 | 1 | -3/+3 |
| * | coqPackages.paco: 1.2.7 -> 1.2.8 | John Wiegley | 2017-07-10 | 1 | -2/+2 |
| * | Use consistent package naming for HEAD.nix files | rht | 2017-05-09 | 1 | -2/+2 |
| * | coq.QuickChick: Update to latest version that works with Coq 8.6 | John Wiegley | 2017-04-23 | 1 | -3/+3 |
| * | coqPackages.interval: 2.2.1 -> 3.1.1 | Vincent Laporte | 2017-02-11 | 1 | -3/+3 |
| * | coqPackages.coquelicot: 2.1.1 -> 2.1.2•••keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
| Vincent Laporte | 2017-02-11 | 1 | -3/+18 |
| * | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2017-02-11 | 3 | -25/+4 |
| * | coqPackages.math-classes: init at 2016-06-08 | Langston Barrett | 2017-01-27 | 1 | -0/+23 |
| * | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6•••by adding `findlib` as a build input.
Also clean `default.nix` a little bit.
| Vincent Laporte | 2017-01-25 | 4 | -65/+31 |
| * | coqPackages.flocq: 2.5.1 -> 2.5.2 | Vincent Laporte | 2017-01-14 | 1 | -4/+4 |
| * | coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5} | Vincent Laporte | 2017-01-14 | 1 | -1/+2 |
| * | coqPackages.dpdgraph: 0.5 -> 0.6{,.1} | Vincent Laporte | 2017-01-12 | 1 | -5/+17 |
| * | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect•••Addresses #14829
| John Wiegley | 2016-12-22 | 4 | -21/+48 |
| * | coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 | John Wiegley | 2016-10-31 | 1 | -0/+35 |
| * | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 | 3 | -3/+3 |
| * | coq-dpdgraph: init at 0.5 | Vincent Laporte | 2016-05-03 | 1 | -0/+31 |
| * | coq-ext-lib: 0.9.0-beta3 -> 0.9.3 | Vincent Laporte | 2016-04-12 | 1 | -3/+4 |
| * | coqPackages.contribs.Bertrand: fix hash | Robin Gloster | 2016-02-08 | 1 | -1/+1 |
| * | Remove no longer (or never) referenced patches•••55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
| Tobias Geerinckx-Rice | 2016-01-24 | 1 | -16/+0 |
| * | coq-interval: 2.1.0 -> 2.2.1 | Vincent Laporte | 2016-01-06 | 1 | -5/+5 |
| * | coqPackages.coquelicot: init at 2.1.1•••Coquelicot is a Coq library for Reals.
Homepage: http://coquelicot.saclay.inria.fr/
| Vincent Laporte | 2016-01-06 | 1 | -0/+25 |
| * | coq-flocq: 2.5.0 -> 2.5.1 | Vincent Laporte | 2016-01-04 | 1 | -3/+3 |
| * | Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"•••This reverts commit db9bc6875f3ad5e7bddcbeab7124bd5b8fc684c6.
That reverted commit had introduced a wrong URL.
| Vincent Laporte | 2016-01-04 | 1 | -1/+1 |
| * | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 | 2 | -0/+2 |
| * | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6•••See the INSTALL file in the mathcomp package for instructions on
upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq
8.4 and 8.5.
| John Wiegley | 2015-12-20 | 4 | -34/+39 |
| * | coqPackages.flocq: 2.4.0 -> 2.5.0 | John Wiegley | 2015-12-16 | 1 | -1/+1 |
| * | coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 | Vincent Laporte | 2015-12-03 | 2 | -6/+6 |
| * | coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 | Vincent Laporte | 2015-11-21 | 1 | -1/+1 |
| * | coqPackages.ssreflect: add ncurses as a dependency•••This is needed in the Darwin pure environment, where ncurses is not
available within the sandbox. The exact error was:
coqmktop -coqlib `coqtop -where` -o bin/ssrcoq.byte -I +threads src/ssrmatching.cmo src/ssreflect.cmo
ld: warning: directory not found for option '-L/nix/store/wlf8pb7gz5alzbhdxwayxx0x4as3rnw8-coq-8.5b2/lib/coq/kernel/byterun'
ld: library not found for -lncurses
| John Wiegley | 2015-10-31 | 1 | -2/+2 |
| * | coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2 | Vincent Laporte | 2015-09-27 | 1 | -7/+14 |
| * | coq-QuickChick: 21f50a02 -> 20150605 | Vincent Laporte | 2015-08-18 | 1 | -5/+7 |
| * | coq-fiat: do not run tests on i686•••as they require too much memory
| Vincent Laporte | 2015-07-09 | 1 | -1/+1 |
| * | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 | 2 | -2/+2 |
| * | coq-mathcomp: refactor | Vincent Laporte | 2015-06-19 | 3 | -53/+49 |
| * | coq-ssreflect: refactor | Vincent Laporte | 2015-06-19 | 2 | -43/+26 |
| * | coq-mathcomp: also build and install the documentation | Vincent Laporte | 2015-06-19 | 1 | -1/+10 |
| * | coq-ssreflect: also build and install the documentation | Vincent Laporte | 2015-06-19 | 1 | -1/+9 |
| * | coqPackages.fiat: disable parallel build to fix build | Pascal Wittmann | 2015-06-10 | 1 | -1/+1 |
| * | coq-tlc: fix package | Vincent Laporte | 2015-06-02 | 1 | -0/+9 |
| * | coq-coqeal: fix installation | Vincent Laporte | 2015-05-29 | 1 | -4/+9 |
| * | bedrock: Change build to use "src native" | John Wiegley | 2015-05-21 | 1 | -0/+3 |
| * | coqPackages.QuickChick: New expression | John Wiegley | 2015-05-08 | 1 | -0/+28 |
| * | meta.description fixups•••Mostly scripted substitutions with a couple of subjective enhancements.
| Joachim Fasting | 2015-04-30 | 6 | -6/+6 |
| * | Fixed some descriptions | Pascal Wittmann | 2015-04-28 | 1 | -1/+1 |
