Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2 | 2012-01-14 | |
| | |||
* | Fix an ordering issue that was causing a test to fail in bytecode | 2012-01-14 | |
| | |||
* | Call dh_install with --fail-missing | 2012-01-14 | |
| | |||
* | Fix typo (shame...) | 2012-01-13 | |
| | |||
* | Prepare upload to experimentaldebian/8.4_beta+dfsg-1 | 2012-01-12 | |
| | |||
* | Miscellaneous updates | 2012-01-12 | |
| | |||
* | Add distclean target to test-suite/Makefile | 2012-01-12 | |
| | |||
* | New upstream beta release | 2012-01-12 | |
| | |||
* | Merge commit 'upstream/8.4_beta+dfsg' into experimental/master | 2012-01-12 | |
|\ | |||
| * | Remove non-DFSG contentsupstream/8.4_beta+dfsg | 2012-01-12 | |
| |\ | |||
| | * | Imported Upstream version 8.4~betaupstream/8.4_beta | 2012-01-12 | |
| | | | |||
* | | | Update changelog and prepare upload to unstabledebian/8.3.pl3+dfsg-1 | 2011-12-25 | |
| | | | |||
* | | | Bump COQ_VERSION | 2011-12-25 | |
| | | | |||
* | | | Remove patch applied upstream | 2011-12-25 | |
| | | | |||
* | | | New upstream release | 2011-12-25 | |
| | | | |||
* | | | Merge commit 'upstream/8.3.pl3+dfsg' | 2011-12-25 | |
|\| | | |||
| * | | Remove non-DFSG contentsupstream/8.3.pl3+dfsg | 2011-12-25 | |
| |\ \ | | |/ | |/| | |||
| * | | Imported Upstream version 8.3.pl3upstream/8.3.pl3 | 2011-12-25 | |
| | | | |||
* | | | Downgrade versioned build-dependency to liblablgtk2-ocaml-dev | 2011-11-12 | |
| | | | | | | | | | | | | | | | It was there to ease a transition, and is not actually needed. This will ease backports. | ||
* | | | Prepare upload to unstabledebian/8.3.pl2+dfsg-2 | 2011-11-02 | |
| | | | |||
* | | | Bump Standards-Version to 3.9.2 (no changes) | 2011-11-02 | |
| | | | |||
* | | | Update changelog and prepare upload to unstabledebian/8.3.pl2+dfsg-1 | 2011-04-19 | |
| | | | |||
* | | | Add patch to fix thumb2-related build error (Closes: #622882) | 2011-04-19 | |
| | | | |||
* | | | New upstream release | 2011-04-19 | |
| | | | |||
* | | | Merge commit 'upstream/8.3.pl2+dfsg' | 2011-04-19 | |
|\ \ \ | | |/ | |/| | |||
| * | | Remove non-DFSG contentsupstream/8.3.pl2+dfsg | 2011-04-19 | |
| |\| | |||
| | * | Imported Upstream version 8.3.pl2upstream/8.3.pl2 | 2011-04-19 | |
| | | | |||
* | | | Promote 8.3 branch to master branch | 2011-04-19 | |
| | | | |||
* | | | Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2 | 2011-02-26 | |
| | | | |||
* | | | Merge sid branch | 2011-02-26 | |
|\ \ \ | |||
| * | | | Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-2 | 2011-02-21 | |
| | | | | |||
| * | | | Add Fix-build-with-camlp5-6.02.1.patch | 2011-02-21 | |
| | | | | |||
| * | | | Refresh patches | 2011-02-21 | |
| | | | | |||
* | | | | Prepare upload to experimentaldebian/8.3.pl1+dfsg-1 | 2010-12-24 | |
| | | | | |||
* | | | | New upstream release, update changelog | 2010-12-24 | |
| | | | | |||
* | | | | Merge commit 'upstream/8.3.pl1+dfsg' into experimental/master | 2010-12-24 | |
|\ \ \ \ | | |/ / | |/| | | |||
| * | | | Remove non-DFSG contentsupstream/8.3.pl1+dfsg | 2010-12-24 | |
| |\ \ \ | | |_|/ | |/| | | |||
| * | | | Imported Upstream version 8.3pl1upstream/8.3pl1 | 2010-12-24 | |
| | | | | |||
* | | | | Port to camlp5 6.02.1 | 2010-12-06 | |
| | | | | |||
* | | | | Add 0003-Support-for-camlp5-6.02.0.patch | 2010-11-17 | |
| | | | | |||
* | | | | Add debian/source/local-options | 2010-10-31 | |
| | | | | |||
* | | | | debian/rules: make "build" a phony target | 2010-10-19 | |
| | | | | |||
* | | | | Add 0002-Fix-mixed-implicit-and-normal-rules.patch | 2010-10-19 | |
| | | | | |||
* | | | | Run test-suite in override_dh_auto_test, skip coqchk | 2010-10-19 | |
| | | | | |||
* | | | | NOT RELEASED YET | 2010-10-19 | |
| | | | | |||
* | | | | Update changelog and prepare upload to experimentaldebian/8.3+dfsg-1 | 2010-10-16 | |
| | | | | |||
* | | | | Bump Standards-Version to 3.9.1 (no changes) | 2010-10-16 | |
| | | | | |||
* | | | | Add patch to fix test-suite | 2010-10-15 | |
| | | | | |||
* | | | | New upstream release | 2010-10-14 | |
| | | | | |||
* | | | | Merge commit 'upstream/8.3+dfsg' into experimental/master | 2010-10-14 | |
|\ \ \ \ | | |/ / | |/| | |