matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 698e42d) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Dec 2002 11:29:24 +0000 (11:29 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 9 Dec 2002 11:29:24 +0000 (11:29 +0000)
commit	b46f5a395bc78ea156ab2381d917608049493f1d
tree	0a562fedf44ebecc267916c60e6ac2d051efc661	tree \| snapshot
parent	698e42d972248fcfe069dcc8f751b258ff9dac11	commit \| diff

- debian version 0.0.3-2
- ship also C/C++ flavour
- removed dh_ocamlld invocation
- moved .so stub in /usr/lib/ocaml/stublibs

helm/DEVEL/gdome_xslt/debian/changelog		diff \| blob \| history
helm/DEVEL/gdome_xslt/debian/control		diff \| blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.examples	[new file with mode: 0644]	blob
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-dev.files	[new file with mode: 0644]	blob
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.examples		diff \| blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.files	[new file with mode: 0644]	blob
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.files		diff \| blob \| history
helm/DEVEL/gdome_xslt/debian/libgdome2-xslt0.files	[new file with mode: 0644]	blob
helm/DEVEL/gdome_xslt/debian/rules		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.