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
/
applications
/
science
/
logic
/
coq
Commit message (
Expand
)
Author
Age
*
coq_HEAD: update to latest Git version
John Wiegley
2014-12-19
*
coq_HEAD: update
John Wiegley
2014-11-17
*
Adds some “branch” meta-data
Vincent Laporte
2014-11-06
*
coq_HEAD: update to latest commit
John Wiegley
2014-11-03
*
coq: 8.4pl4 -> 8.4pl5
John Wiegley
2014-11-03
*
coq_HEAD: Update
John Wiegley
2014-10-09
*
coq: setup-hook for libraries
Vincent Laporte
2014-09-28
*
coq_HEAD: update to latest Git HEAD
John Wiegley
2014-09-23
*
coq_HEAD: Revert "update to latest Git version"
Peter Simons
2014-09-19
*
coq_HEAD: update to latest Git version
John Wiegley
2014-09-09
*
coq_HEAD: update to latest Git HEAD
John Wiegley
2014-08-26
*
Fix many package descriptions
Bjørn Forsman
2014-08-24
*
coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590
John Wiegley
2014-08-16
*
Add an expression for building Coq HEAD
John Wiegley
2014-08-08
*
Merge pull request #2514 from jwiegley/coq
Austin Seipp
2014-05-17
|
\
|
*
Make Coq buildable on any Unix
John Wiegley
2014-05-05
*
|
Bump coq version to 8.4pl4.
Russell O'Connor
2014-05-12
|
/
*
coq: add myself to maintainer list.
Austin Seipp
2014-03-07
*
coq: 8.4pl2 -> 8.4pl3
Austin Seipp
2014-03-07
*
Add platforms to coq, so it's built on Hydra
Gergely Risko
2013-08-28
*
Update Coq to version 8.4pl2.
Russell O'Connor
2013-06-14
*
Fixing configure patch for coq 8.3.
Russell O'Connor
2012-08-19
*
Correcting filename.
Russell O'Connor
2012-08-19
*
Update coq to 8.4
Russell O'Connor
2012-08-19
*
Updatings ssreflect to depend on camlp5 version 6.
Russell O'Connor
2012-05-28
*
Updating coq and ssreflect to patch level 4.
Russell O'Connor
2012-05-16
*
Fix building of Coq and update to version 8.3pl3. (Forgot to save files)
Marco Maggesi
2012-03-17
*
Fix building of Coq and update to version 8.3pl3.
Marco Maggesi
2012-03-17
*
Merge from trunk up through r28790
Shea Levy
2011-08-24
|
\
|
*
update coq to 8.3pl1
Russell O'Connor
2011-04-05
|
*
* Coq: fix compilation of coqide (path to lablgkt)
Marco Maggesi
2011-01-03
|
*
Fix lablgtk reference
Michael Raskin
2011-01-02
|
/
*
* Sync with the trunk.
Eelco Dolstra
2010-12-21
|
\
|
*
* Update camlp5
Marco Maggesi
2010-12-20
*
|
Use a patch to fix make 3.82 build of Coq
Michael Raskin
2010-11-23
|
/
*
Update Coq
Marco Maggesi
2010-11-04
*
Change the name of the coq derivation to coq-devel-8.3pre1
Marco Maggesi
2010-09-15
*
Add coq-8.3rc1
Marco Maggesi
2010-09-14
*
Update Coq to version 8.2pl2 (patch by roconnor)
Marco Maggesi
2010-08-05
*
pkgs/applications/science/logic/coq: install coqide libraries
Peter Simons
2010-05-18
*
Add expression for Coq 8.3 beta
Marco Maggesi
2010-05-11
*
Updated Coq to version 8.2pl1
Marco Maggesi
2009-11-02
*
Added a preliminary expression for Coq (no IDE support yet).
Andres Löh
2008-06-04