summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Upload to unstabledebian/8.5.1-1Gravatar Stephane Glondu2016-08-01
* Update changelogGravatar Nicolas Braud-Santoni2016-07-31
* Fail on non-installed files, and install .v filesGravatar Nicolas Braud-Santoni2016-07-31
* Update 0001-Fix-typos.patchGravatar Nicolas Braud-Santoni2016-07-25
* debian/changelog: Close bug #813459Gravatar Nicolas Braud-Santoni2016-07-23
* Prepare uploadGravatar Nicolas Braud-Santoni2016-07-23
* Bump Standards-Version to 3.9.8Gravatar Nicolas Braud-Santoni2016-07-23
* Fix typosGravatar Nicolas Braud-Santoni2016-07-23
* Fix installed docsGravatar Nicolas Braud-Santoni2016-07-23
* debian/rules: Do not fail on non-installed filesGravatar Nicolas Braud-Santoni2016-07-23
* Merge tag 'upstream/8.5.1'Gravatar Nicolas Braud-Santoni2016-07-23
|\
| * Imported Upstream version 8.5.1Gravatar Nicolas Braud-Santoni2016-07-23
* | New upstream URL & watch fileGravatar Nicolas Braud-Santoni2016-07-23
* | Use HTTPS for Vcs-* linksGravatar Nicolas Braud-Santoni2016-07-23
* | Recompile with OCaml 4.02.3debian/0.4-5Gravatar Stephane Glondu2015-10-14
* | Update changelog and prepare upload to unstabledebian/0.4-4Gravatar Stephane Glondu2015-08-10
* | Bump debhelper compat level to 9Gravatar Stephane Glondu2015-08-10
* | Bump Standards-Version to 3.9.6Gravatar Stephane Glondu2015-08-10
* | New Homepage, drop debian/watchGravatar Stephane Glondu2015-08-10
* | Recompile with coq 8.4pl4debian/0.4-3Gravatar Stephane Glondu2014-07-30
* | Update changelog and prepare upload to unstabledebian/0.4-2Gravatar Stephane Glondu2014-01-20
* | Update Vcs-*Gravatar Stephane Glondu2014-01-20
* | Bump Standards-Version to 3.9.5 (no changes)Gravatar Stephane Glondu2014-01-20
* | Prepare upload to unstabledebian/0.4-1Gravatar Stephane Glondu2013-12-05
* | New upstream releaseGravatar Stephane Glondu2013-12-05
* | Merge tag 'upstream/0.4'Gravatar Stephane Glondu2013-12-05
|\|
| * Imported Upstream version 0.4upstream/0.4Gravatar Stephane Glondu2013-12-05
* | Update changelog and prepare upload to unstabledebian/0.3.pl1-1Gravatar Stephane Glondu2013-05-09
* | Bump Standards-Version to 3.9.4Gravatar Stephane Glondu2013-05-09
* | Use format version 1.0 in debian/copyrightGravatar Stephane Glondu2013-05-09
* | New upstream releaseGravatar Stephane Glondu2013-05-09
* | Merge tag 'upstream/0.3.pl1'Gravatar Stephane Glondu2013-05-09
|\|
| * Imported Upstream version 0.3.pl1upstream/0.3.pl1Gravatar Stephane Glondu2013-05-09
* | Update changelog and prepare upload to experimentaldebian/0.3-2Gravatar Stephane Glondu2012-09-22
* | This version requires a bugfix in CoqGravatar Stephane Glondu2012-09-22
* | Fix FTBFS without natdynlinkGravatar Stephane Glondu2012-09-22
* | Prepare upload to experimentaldebian/0.3-1Gravatar Stephane Glondu2012-09-21
* | Update build systemGravatar Stephane Glondu2012-09-21
* | Bump Coq versionGravatar Stephane Glondu2012-09-21
* | New upstream releaseGravatar Stephane Glondu2012-09-20
* | Merge tag 'upstream/0.3'Gravatar Stephane Glondu2012-09-20
|\|
| * Imported Upstream version 0.3upstream/0.3Gravatar Stephane Glondu2012-09-20
* | Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7Gravatar Stephane Glondu2012-06-09
* | Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)debian/0.2.pl2-6Gravatar Stephane Glondu2012-04-01
* | Recompile with camlp5 6.04 (no changes)debian/0.2.pl2-5Gravatar Stephane Glondu2012-03-05
* | Rebuild with Coq 8.3pl3 (no source changes)debian/0.2.pl2-4Gravatar Stephane Glondu2011-12-25
* | Prepare upload to unstabledebian/0.2.pl2-3Gravatar Stephane Glondu2011-11-03
* | Bump Standards-Version to 3.9.2 (no changes)Gravatar Stephane Glondu2011-11-03
* | Upload to unstabledebian/0.2.pl2-2Gravatar Stephane Glondu2011-05-01
* | Prepare upload to experimentaldebian/0.2.pl2-1Gravatar Stephane Glondu2011-02-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 18:49:22 +0000