Viewing all changes in revision 20.
- Committer: Package Import Robot
- Date: 2013-05-08 18:10:14 UTC
- mfrom: (1.4.4) (12.1.14 experimental)
- Revision ID: package-import@ubuntu.com-20130508181014-ifd1gx9ptvgf7q8q
* New upstream release
* Upload to unstable
* Upload to unstable
- files added:
- .pc
- .pc/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch
- .pc/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch/test-suite
- .pc/0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch/test-suite/success
- bin
- debian/patches
- dev/html
- dev/ocamldoc
- dev/ocamldoc/html
- plugins/decl_mode
- plugins/interface
- test-suite/bugs/opened/shouldnotsucceed
- test-suite/misc/universes
- theories/PArith
- theories/Vectors
- toplevel/utils
- files removed:
- INSTALL.macosx
- plugins/dp
- files modified:
- CHANGES
- tools/beautify-archive *
expand all
collapse all
added
removed
