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/ _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
