Viewing all changes in revision 22.
- Committer: Bazaar Package Importer
- Date: 2011-04-19 17:37:30 UTC
- mfrom: (1.2.10 upstream) (4.1.10 sid)
- Revision ID: james.westby@ubuntu.com-20110419173730-ama95dmo0ad00ivn
* New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
- files added:
- .pc/0001-Fix-thumb2-related-build-error.patch
- .pc/0001-Fix-thumb2-related-build-error.patch/kernel
- .pc/0001-Fix-thumb2-related-build-error.patch/kernel/byterun
- doc/common/styles/html/coqremote
- ide/uim
- plugins
- plugins/cc
- plugins/dp
- plugins/extraction
- plugins/field
- plugins/firstorder
- plugins/fourier
- plugins/funind
- plugins/micromega
- plugins/nsatz
- plugins/omega
- plugins/quote
- plugins/ring
- plugins/romega
- plugins/rtauto
- plugins/setoid_ring
- plugins/subtac
- plugins/subtac/test
- plugins/syntax
- plugins/xml
- test-suite/coqdoc
- test-suite/misc
- test-suite/misc/deps
- test-suite/misc/deps/client
- test-suite/misc/deps/lib
- test-suite/prerequisite
- theories/MSets
- theories/Structures
- files removed:
- .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
- .pc/0003-Fix-armel-ftbfs.patch
- .pc/0003-Fix-armel-ftbfs.patch/kernel
- .pc/0003-Fix-armel-ftbfs.patch/kernel/byterun
- bin
- contrib
- contrib/cc
- contrib/correctness
- contrib/correctness/examples
- contrib/dp
- contrib/extraction
- contrib/field
- contrib/firstorder
- contrib/fourier
- contrib/funind
- contrib/interface
- contrib/micromega
- contrib/omega
- contrib/ring
- contrib/romega
- contrib/rtauto
- contrib/setoid_ring
- contrib/subtac
- contrib/subtac/test
- contrib/xml
- test-suite/bugs/opened/shouldnotsucceed
- files modified:
- .gitignore
- tools/beautify-archive *
expand all
collapse all
added
removed
