← Back to branch summary

~jgross-h/coq/trunk-packaging-precise

Viewing all changes in revision 300.

  • Committer: Jason Gross
  • Date: 2017-06-14 17:34:35 UTC
  • Revision ID: git-v1:a70c5336751600a2251c9f2c7e9e05ed2058a113
Make coq depend on libcoq-ocaml

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: