Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bump Standards-Version to 3.9.4 | Stephane Glondu | 2013-05-09 |
* | This version requires a bugfix in Coq | Stephane Glondu | 2012-09-22 |
* | Bump Coq version | Stephane Glondu | 2012-09-21 |
* | Bump Standards-Version to 3.9.2 (no changes) | Stephane Glondu | 2011-11-03 |
* | Fix Vcs-* URLs | Stephane Glondu | 2011-02-22 |
* | Initial packaging | Stephane Glondu | 2010-11-30 |