Viewing all changes in revision 12.
- Committer: Bazaar Package Importer
- Date: 2010-07-02 15:25:15 UTC
- mfrom: (1.3.4 upstream)
- Revision ID: james.westby@ubuntu.com-20100702152515-gbik6nepacy39f08
* New upstream release
- compiles with OCaml 3.12 (Closes: #585452)
- remove 0001-Update-for-why-2.19.patch (applied upstream)
- add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
* Use dh with overrides
* debian/control:
- remove Stefano and Remi from Uploaders
- replace Conflicts with Breaks
- bump Standards-Version to 3.9.0
* Switch source package format to 3.0 (quilt)
- compiles with OCaml 3.12 (Closes: #585452)
- remove 0001-Update-for-why-2.19.patch (applied upstream)
- add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
* Use dh with overrides
* debian/control:
- remove Stefano and Remi from Uploaders
- replace Conflicts with Breaks
- bump Standards-Version to 3.9.0
* Switch source package format to 3.0 (quilt)
- files added:
- .gitignore
- .pc
- .pc/0001-Disable-micromega-tests.patch
- .pc/0001-Disable-micromega-tests.patch/test-suite
- .pc/0002-Remove-dependency-to-Unix-from-module-Profile.patch
- .pc/0002-Remove-dependency-to-Unix-from-module-Profile.patch/lib
- debian/source
- files removed:
- debian/coq.dirs.in
- files modified:
- Makefile
- debian/purify_tarball *
expand all
collapse all
added
removed
