← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq/wily

Viewing all changes in revision 21.

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2013-12-03 19:54:49 UTC
  • mfrom: (12.1.16 experimental)
  • Revision ID: package-import@ubuntu.com-20131203195449-o4ysim717ufaieeu
Tags: 8.4pl2dfsg-4
Upload to unstable

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: