← Back to branch summary

~ezyang/coq/trunk-packaging-precise

From Revision 274 to 255

expand all expand all

Rev   Summary Authors Date Diff Files
274
Fix configure as per c734ccd8081e52ee5576d0efac9b065d4f37f7d...
Edward Z. Yang 10 years ago Diff Files
273
Bump version number.
Edward Z. Yang 10 years ago Diff Files
272
Packaging fixes to make trunk work.
Edward Z. Yang 10 years ago Diff Files
271
Update changelog and prepare upload to experimental
Stephane Glondu 10 years ago Diff Files
270
Update Vcs-*
Stephane Glondu 10 years ago Diff Files
269
Compile with OCaml >= 4
Stephane Glondu 10 years ago Diff Files
268
Prepare upload to unstable
Stephane Glondu 11 years ago Diff Files
267
Merge branch 'upstream'
Stephane Glondu 11 years ago Diff Files
266
Merge branch 'experimental/master'
Stephane Glondu 11 years ago Diff Files
265
Recompile with camlp5 6.06 (no changes)
Stephane Glondu 12 years ago Diff Files
264
Update changelog and prepare upload to unstable
Stephane Glondu 12 years ago Diff Files
263
Bump Standards-Version to 3.9.3
Stephane Glondu 12 years ago Diff Files
262
proofgeneral-coq has been dropped in favour of proofgeneral
Stephane Glondu 12 years ago Diff Files
261
Call dh_install with --fail-missing
Stephane Glondu 12 years ago Diff Files
260
New upstream release
Stephane Glondu 12 years ago Diff Files
259
Merge tag 'upstream/8.3.pl4+dfsg'
Stephane Glondu 12 years ago Diff Files
258
Recompile with camlp5 6.04 (no changes)
Stephane Glondu 12 years ago Diff Files
257
Update changelog and prepare upload to unstable
Stephane Glondu 12 years ago Diff Files
256
Bump COQ_VERSION
Stephane Glondu 12 years ago Diff Files
255
Remove patch applied upstream
Stephane Glondu 12 years ago Diff Files