Viewing all changes in revision 14.
- Committer: Bazaar Package Importer
- Date: 2009-02-27 13:31:30 UTC
- mfrom: (1.2.7 upstream) (4.1.2 squeeze)
- Revision ID: james.westby@ubuntu.com-20090227133130-q1jasz0erm22yt98
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
  /usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
  (Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
  custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
  /usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
  (Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
  custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
- files added:
- INSTALL.doc
- checker
- contrib/firstorder
- contrib/micromega
- test-suite/bugs
- test-suite/bugs/closed
- test-suite/bugs/closed/shouldfail
- test-suite/bugs/closed/shouldsucceed
- test-suite/bugs/opened
- test-suite/bugs/opened/shouldnotfail
- test-suite/bugs/opened/shouldnotsucceed
- test-suite/ide
- test-suite/ideal-features/complexity
- test-suite/micromega
- test-suite/typeclasses
- theories/Classes
- theories/Numbers
- theories/Numbers/Cyclic
- theories/Numbers/Cyclic/Abstract
- theories/Numbers/Cyclic/DoubleCyclic
- theories/Numbers/Cyclic/Int31
- theories/Numbers/Cyclic/ZModulo
- theories/Numbers/Integer
- theories/Numbers/Integer/Abstract
- theories/Numbers/Integer/BigZ
- theories/Numbers/Integer/Binary
- theories/Numbers/Integer/NatPairs
- theories/Numbers/Integer/SpecViaZ
- theories/Numbers/NatInt
- theories/Numbers/Natural
- theories/Numbers/Natural/Abstract
- theories/Numbers/Natural/BigN
- theories/Numbers/Natural/Binary
- theories/Numbers/Natural/Peano
- theories/Numbers/Natural/SpecViaZ
- theories/Numbers/Rational
- theories/Numbers/Rational/BigQ
- theories/Numbers/Rational/SpecViaQ
- theories/Program
- theories/Unicode
- files removed:
- .depend
- contrib/extraction/test
- contrib/extraction/test/custom
- contrib/first-order
- contrib/jprover
- contrib/recdef
- debian/patches
- theories/IntMap
- files modified:
- CHANGES
expand all
collapse all
added
removed
ide/coq.png
