[Pkg-ocaml-maint-commits] r5954 - /trunk/packages/coq-doc/

glondu-guest at users.alioth.debian.org glondu-guest at users.alioth.debian.org
Fri Aug 15 23:33:44 UTC 2008

Previous message: [Pkg-ocaml-maint-commits] r5953 - /trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1
Next message: [Pkg-ocaml-maint-commits] r5955 - /trunk/packages/bibtex2html/trunk/debian/rules
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: glondu-guest
Date: Fri Aug 15 23:33:43 2008
New Revision: 5954

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5954
Log:
Remove coq-doc (moved to git)

Removed:
    trunk/packages/coq-doc/

Previous message: [Pkg-ocaml-maint-commits] r5953 - /trunk/packages/edos-debcheck/trunk/debian/contrib/edos-builddebcheck.1
Next message: [Pkg-ocaml-maint-commits] r5955 - /trunk/packages/bibtex2html/trunk/debian/rules
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-ocaml-maint-commits mailing list