Viewing all changes in revision 8.
- Committer: Package Import Robot
- Date: 2013-12-12 09:06:18 UTC
- mfrom: (1.2.6)
- Revision ID: package-import@ubuntu.com-20131212090618-lt6phjrbo7wt8gc5
* New upstream release
* Debhelper compat level 9
* Update Vcs-*
* Debhelper compat level 9
* Update Vcs-*
- files added:
- .pc
- dev/html
- dev/ocamldoc
- dev/ocamldoc/html
- plugins/decl_mode
- test-suite/misc/universes
- theories/PArith
- theories/Vectors
- toplevel/utils
- files removed:
- INSTALL.macosx
- plugins/dp
- plugins/groebner
- files modified:
- CHANGES
- tools/beautify-archive *
expand all
collapse all
added
removed
