Viewing all changes in revision 3.
- Committer: Bazaar Package Importer
- Date: 2009-12-19 17:30:57 UTC
- Revision ID: james.westby@ubuntu.com-20091219173057-zwjghomvnd0v9wwh
* debian/control:
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
- files added:
- debian/libssreflect-ocaml-dev.install.in
- debian/source
- files modified:
- Make
expand all
collapse all
added
removed
