index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Commit message (
Expand
)
Author
Age
*
coqPackages.interval: fix URL
Vincent Laporte
2017-08-11
*
coqPackages.autosubst: fix hash
Vincent Laporte
2017-07-28
*
coqPackages_8_6.CoLoR: Fix installPhase
John Wiegley
2017-07-18
*
coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6
John Wiegley
2017-07-18
*
coqPackages_8_6.CoLoR: new expression 1.3.0
John Wiegley
2017-07-18
*
coqPackages.autosubst: New expression
John Wiegley
2017-07-10
*
coqPackages.QuickChick: 20170422 -> 20170710
John Wiegley
2017-07-10
*
coqPackages.paco: 1.2.7 -> 1.2.8
John Wiegley
2017-07-10
*
Use consistent package naming for HEAD.nix files
rht
2017-05-09
*
coq.QuickChick: Update to latest version that works with Coq 8.6
John Wiegley
2017-04-23
*
coqPackages.interval: 2.2.1 -> 3.1.1
Vincent Laporte
2017-02-11
*
coqPackages.coquelicot: 2.1.1 -> 2.1.2
Vincent Laporte
2017-02-11
*
coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1
Vincent Laporte
2017-02-11
*
coqPackages.math-classes: init at 2016-06-08
Langston Barrett
2017-01-27
*
coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6
Vincent Laporte
2017-01-25
*
coqPackages.flocq: 2.5.1 -> 2.5.2
Vincent Laporte
2017-01-14
*
coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}
Vincent Laporte
2017-01-14
*
coqPackages.dpdgraph: 0.5 -> 0.6{,.1}
Vincent Laporte
2017-01-12
*
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
John Wiegley
2016-12-22
*
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2
John Wiegley
2016-10-31
*
Fix lots of fetchgit hashes (fallout from #15469)
Tuomas Tynkkynen
2016-06-03
*
coq-dpdgraph: init at 0.5
Vincent Laporte
2016-05-03
*
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
Vincent Laporte
2016-04-12
*
coqPackages.contribs.Bertrand: fix hash
Robin Gloster
2016-02-08
*
Remove no longer (or never) referenced patches
Tobias Geerinckx-Rice
2016-01-24
*
coq-interval: 2.1.0 -> 2.2.1
Vincent Laporte
2016-01-06
*
coqPackages.coquelicot: init at 2.1.1
Vincent Laporte
2016-01-06
*
coq-flocq: 2.5.0 -> 2.5.1
Vincent Laporte
2016-01-04
*
Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"
Vincent Laporte
2016-01-04
*
ssreflect, mathcomp: fix build
Vincent Laporte
2016-01-04
*
coqPackages.mathcomp,ssreflect: 1.5 -> 1.6
John Wiegley
2015-12-20
*
coqPackages.flocq: 2.4.0 -> 2.5.0
John Wiegley
2015-12-16
*
coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0
Vincent Laporte
2015-12-03
*
coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3
Vincent Laporte
2015-11-21
*
coqPackages.ssreflect: add ncurses as a dependency
John Wiegley
2015-10-31
*
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
Vincent Laporte
2015-09-27
*
coq-QuickChick: 21f50a02 -> 20150605
Vincent Laporte
2015-08-18
*
coq-fiat: do not run tests on i686
Vincent Laporte
2015-07-09
*
ssreflect, mathcomp: better package names
Vincent Laporte
2015-06-19
*
coq-mathcomp: refactor
Vincent Laporte
2015-06-19
*
coq-ssreflect: refactor
Vincent Laporte
2015-06-19
*
coq-mathcomp: also build and install the documentation
Vincent Laporte
2015-06-19
*
coq-ssreflect: also build and install the documentation
Vincent Laporte
2015-06-19
*
coqPackages.fiat: disable parallel build to fix build
Pascal Wittmann
2015-06-10
*
coq-tlc: fix package
Vincent Laporte
2015-06-02
*
coq-coqeal: fix installation
Vincent Laporte
2015-05-29
*
bedrock: Change build to use "src native"
John Wiegley
2015-05-21
*
coqPackages.QuickChick: New expression
John Wiegley
2015-05-08
*
meta.description fixups
Joachim Fasting
2015-04-30
*
Fixed some descriptions
Pascal Wittmann
2015-04-28
[next]