[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, deleted. debian/8.3.pl1+dfsg-2
Stephane Glondu
steph at glondu.net
Tue Apr 19 10:39:32 UTC 2011
The branch, experimental/master has been deleted
was 853081b70ac141ffcbde0cf468b6f45c62f0a964
-----------------------------------------------------------------------
853081b70ac141ffcbde0cf468b6f45c62f0a964 Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list