[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq_8.3.pl3+dfsg-1~bpo60+1_ia64.changes ACCEPTED into squeeze-backports





Accepted:
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
  to main/c/coq/coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
  to main/c/coq/coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
  to main/c/coq/libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
  to main/c/coq/libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb


Override entries for your package:
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb - optional math
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb - optional math
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb - optional ocaml
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb - optional ocaml



Thank you for your contribution to backports.debian.org archive.


Reply to: