~jgross-h/coq/v8.5-packaging

Viewing all changes in revision 271.1.15.

  • Committer: Stephane Glondu
  • Date: 2014-07-27 13:23:48 UTC
  • mto: This revision was merged to the branch mainline in revision 280.
  • Revision ID: git-v1:b9fae9be4d5dc1f78de28d062d4052727dc1e3c3
Bump debhelper compat level to 9

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: