← Back to branch summary

~ubuntu-branches/debian/stretch/coq-float/stretch

Viewing all changes in revision 3.

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2007-11-18 19:21:44 UTC
  • Revision ID: james.westby@ubuntu.com-20071118192144-id4fy7dznqm10kbz
Tags: 1:8.1-1.0-3
Rebuild with latest coq.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: