summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1Gravatar Stephane Glondu2012-12-29
|
* Add ocaml-findlib to Build-Depends...Gravatar Stephane Glondu2012-12-29
| | | | ...so that detection of lablgtk2 works
* Update ABIGravatar Stephane Glondu2012-12-29
|
* Refresh patchesGravatar Stephane Glondu2012-12-29
|
* New upstream releaseGravatar Stephane Glondu2012-12-29
|
* Merge tag 'upstream/8.4pl1dfsg' into experimental/masterGravatar Stephane Glondu2012-12-29
|\ | | | | | | Upstream version 8.4pl1dfsg
| * Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsgGravatar Stephane Glondu2012-12-29
| |
* | Update changelog and prepare upload to experimentaldebian/8.4dfsg-2Gravatar Stephane Glondu2012-09-22
| |
* | Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile outputGravatar Stephane Glondu2012-09-22
| |
* | Prepare upload to experimentaldebian/8.4dfsg-1Gravatar Stephane Glondu2012-08-20
| |
* | Update ABIGravatar Stephane Glondu2012-08-20
| |
* | New upstream releaseGravatar Stephane Glondu2012-08-20
| |
* | Merge tag 'upstream/8.4dfsg' into experimental/masterGravatar Stephane Glondu2012-08-20
|\| | | | | | | Upstream version 8.4dfsg
| * Imported Upstream version 8.4dfsgupstream/8.4dfsgGravatar Stephane Glondu2012-08-20
| |
* | Use experimental branchesGravatar Stephane Glondu2012-08-20
| |
* | Use filter-pristine-tar and change versioning schemeGravatar Stephane Glondu2012-08-20
| |
* | Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1Gravatar Stephane Glondu2012-06-05
| |
* | Dp plugin has been droppedGravatar Stephane Glondu2012-06-05
| |
* | Update ABIGravatar Stephane Glondu2012-06-04
| |
* | Refresh patchesGravatar Stephane Glondu2012-06-04
| |
* | New upstream beta releaseGravatar Stephane Glondu2012-06-04
| |
* | Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/masterGravatar Stephane Glondu2012-06-04
|\| | | | | | | Upstream version 8.4~gamma0+really8.4beta2+dfsg
| * Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsgGravatar Stephane Glondu2012-06-04
| |\
| | * Imported Upstream version 8.4~gamma0+really8.4beta2upstream/8.4_gamma0+really8.4beta2Gravatar Stephane Glondu2012-06-04
| | |
* | | Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4Gravatar Stephane Glondu2012-04-06
| | |
* | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3Gravatar Stephane Glondu2012-01-15
| | |
* | | Disable a test that uses too much memoryGravatar Stephane Glondu2012-01-15
| | |
* | | proofgeneral-coq has been dropped in favour of proofgeneralGravatar Stephane Glondu2012-01-14
| | |
* | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2Gravatar Stephane Glondu2012-01-14
| | |
* | | Fix an ordering issue that was causing a test to fail in bytecodeGravatar Stephane Glondu2012-01-14
| | |
* | | Call dh_install with --fail-missingGravatar Stephane Glondu2012-01-14
| | |
* | | Fix typo (shame...)Gravatar Stephane Glondu2012-01-13
| | |
* | | Prepare upload to experimentaldebian/8.4_beta+dfsg-1Gravatar Stephane Glondu2012-01-12
| | |
* | | Miscellaneous updatesGravatar Stephane Glondu2012-01-12
| | |
* | | Add distclean target to test-suite/MakefileGravatar Stephane Glondu2012-01-12
| | |
* | | New upstream beta releaseGravatar Stephane Glondu2012-01-12
| | |
* | | Merge commit 'upstream/8.4_beta+dfsg' into experimental/masterGravatar Stephane Glondu2012-01-12
|\| |
| * | Remove non-DFSG contentsupstream/8.4_beta+dfsgGravatar Stephane Glondu2012-01-12
| |\|
| | * Imported Upstream version 8.4~betaupstream/8.4_betaGravatar Stephane Glondu2012-01-12
| | |
* | | Update changelog and prepare upload to unstabledebian/8.3.pl3+dfsg-1Gravatar Stephane Glondu2011-12-25
| | |
* | | Bump COQ_VERSIONGravatar Stephane Glondu2011-12-25
| | |
* | | Remove patch applied upstreamGravatar Stephane Glondu2011-12-25
| | |
* | | New upstream releaseGravatar Stephane Glondu2011-12-25
| | |
* | | Merge commit 'upstream/8.3.pl3+dfsg'Gravatar Stephane Glondu2011-12-25
|\| |
| * | Remove non-DFSG contentsupstream/8.3.pl3+dfsgGravatar Stephane Glondu2011-12-25
| |\ \ | | |/ | |/|
| * | Imported Upstream version 8.3.pl3upstream/8.3.pl3Gravatar Stephane Glondu2011-12-25
| | |
* | | Downgrade versioned build-dependency to liblablgtk2-ocaml-devGravatar Stephane Glondu2011-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-2Gravatar Stephane Glondu2011-11-02
| | |
* | | Bump Standards-Version to 3.9.2 (no changes)Gravatar Stephane Glondu2011-11-02
| | |
* | | Update changelog and prepare upload to unstabledebian/8.3.pl2+dfsg-1Gravatar Stephane Glondu2011-04-19
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 08:30:15 +0000