[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