summaryrefslogtreecommitdiff
path: root/debian
Commit message (Collapse)AuthorAge
...
| * New upstream releaseGravatar Stephane Glondu2013-05-08
| |
| * New debian/watch file by Bart MartensGravatar Stephane Glondu2013-05-08
| |
| * 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
| |
| * 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
| |
| * Use experimental branchesGravatar Stephane Glondu2012-08-20
| |
| * Use filter-pristine-tar and change versioning schemeGravatar Stephane Glondu2012-08-20
| |
* | Recompile with camlp5 6.06 (no changes)Gravatar Stephane Glondu2012-06-06
| |
| * 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
| |
| * Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4Gravatar Stephane Glondu2012-04-06
| |
* | Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1Gravatar Stephane Glondu2012-03-27
| |
* | Bump Standards-Version to 3.9.3Gravatar Stephane Glondu2012-03-27
| |
* | proofgeneral-coq has been dropped in favour of proofgeneralGravatar Stephane Glondu2012-03-27
| |
* | Call dh_install with --fail-missingGravatar Stephane Glondu2012-03-27
| |
* | New upstream releaseGravatar Stephane Glondu2012-03-27
| |
* | Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2Gravatar Stephane Glondu2012-03-04
| |
| * 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
|/
* 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
|
* 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
|
* Add patch to fix thumb2-related build error (Closes: #622882)Gravatar Stephane Glondu2011-04-19
|
* New upstream releaseGravatar Stephane Glondu2011-04-19
|
* Promote 8.3 branch to master branchGravatar Stephane Glondu2011-04-19
|
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2Gravatar Stephane Glondu2011-02-26
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 23:13:00 +0000