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.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