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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to