Author: zack Date: Tue Jun 3 16:40:28 2008 New Revision: 5740 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5740 Log: removing (with Ralf consent) as ceve packaging is now elsewhere Removed: trunk/packages/ceve/