[Pkg-ocaml-maint-commits] r5886 - /trunk/packages/coq/
glondu-guest at users.alioth.debian.org
glondu-guest at users.alioth.debian.org
Sun Jul 27 21:26:41 UTC 2008
Author: glondu-guest
Date: Sun Jul 27 21:26:41 2008
New Revision: 5886
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5886
Log:
Remove old packaging repository
The new one is browsable at:
http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
Removed:
trunk/packages/coq/
More information about the Pkg-ocaml-maint-commits
mailing list