← Back to branch summary

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

Viewing all changes in revision 12.1.16.

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2013-11-22 14:38:00 UTC
  • mto: This revision was merged to the branch mainline in revision 21.
  • Revision ID: package-import@ubuntu.com-20131122143800-ok6tyjc8baiizma2
Tags: 8.4pl2dfsg-3
* Compile with OCaml 4.01.0
* Disable micromega tests on Hurd (because of missing lockf)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: