← Back to branch summary

~ubuntu-branches/debian/sid/coq/sid

Viewing all changes in revision 2.

  • Committer: Bazaar Package Importer
  • Author(s): Judicael Courant
  • Date: 2002-02-15 09:17:20 UTC
  • Revision ID: james.westby@ubuntu.com-20020215091720-flvlwv0gq6v9rq5j
Tags: 7.2-9
ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: