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

ssreflect_1.3pl4-1_amd64.changes ACCEPTED into unstable





Accepted:
libssreflect-coq_1.3pl4-1_all.deb
  to main/s/ssreflect/libssreflect-coq_1.3pl4-1_all.deb
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
libssreflect-ocaml_1.3pl4-1_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml_1.3pl4-1_amd64.deb
ssreflect_1.3pl4-1.debian.tar.gz
  to main/s/ssreflect/ssreflect_1.3pl4-1.debian.tar.gz
ssreflect_1.3pl4-1.dsc
  to main/s/ssreflect/ssreflect_1.3pl4-1.dsc
ssreflect_1.3pl4.orig.tar.gz
  to main/s/ssreflect/ssreflect_1.3pl4.orig.tar.gz


Changes:
ssreflect (1.3pl4-1) unstable; urgency=low
 .
  * New upstream release
  * Put debian/copyright in format 1.0
  * Bump Standards-Version to 3.9.3


Override entries for your package:
libssreflect-coq_1.3pl4-1_all.deb - extra math
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb - extra ocaml
libssreflect-ocaml_1.3pl4-1_amd64.deb - optional ocaml
ssreflect_1.3pl4-1.dsc - source math

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.


Reply to: