cov-core (1.13.0-1) unstable; urgency=medium

  * New upstream release.

 -- Barry Warsaw <barry@debian.org>  Wed, 18 Jun 2014 09:35:27 -0400

cov-core (1.12-1) unstable; urgency=medium

  * Initial release (Closes: #748404)

 -- Barry Warsaw <barry@debian.org>  Fri, 16 May 2014 18:41:45 -0400
