[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/upstream, deleted. upstream/8.3.pl1+dfsg
Stephane Glondu
steph at glondu.net
Tue Apr 19 10:39:37 UTC 2011
The branch, experimental/upstream has been deleted
was 50dc9067e98ca001ad2e875011abab5da6fdb621
-----------------------------------------------------------------------
50dc9067e98ca001ad2e875011abab5da6fdb621 Remove non-DFSG contents
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list