index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Commit message (
Expand
)
Author
Age
*
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
*
coq_8_5: New expression
John Wiegley
2015-04-26
*
bedrock: Don't bulid Cito without the platform
John Wiegley
2015-04-10
*
coq-contribs: fix various packages
Vincent Laporte
2015-03-01
*
coqPackages: add contribs (close #5242)
Vincent Laporte
2015-01-25
*
coq-containers: remove
Vincent Laporte
2015-01-25
*
coqPackages.fiat: enable building the examples as a test
John Wiegley
2015-01-09
*
coqPackages.fiat: correct installation directory
John Wiegley
2015-01-09
*
coqPackages.fiat: new expression
John Wiegley
2015-01-09
*
Adds coq-interval
Vincent Laporte
2014-12-08
*
coq-flocq: license
Vincent Laporte
2014-12-07
*
coqPackages.coqeal: new expression
John Wiegley
2014-12-04
*
coqPackages.unimath: new expression
John Wiegley
2014-11-12
*
coqPackages.flocq: new expression
John Wiegley
2014-10-21
*
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
John Wiegley
2014-10-13
*
coqPackages.domains: new expression
John Wiegley
2014-10-11
*
coqPackages.ynot: remove broken tag
John Wiegley
2014-10-11
*
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
John Wiegley
2014-10-11
*
coqPackages.bedrock: new expression
John Wiegley
2014-10-11
*
coqPackages.tlc: new expression
John Wiegley
2014-10-11
*
coqPackages.containers: set broken to false
John Wiegley
2014-10-11
*
coqPackages.containers: correct sha256 for the tarball
John Wiegley
2014-10-11
*
coq-containers: package is broken
Vincent Laporte
2014-10-01
*
Adds three coq libraries: containers, mathcomp, ssreflect
Vincent Laporte
2014-09-28