← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to debian/changelog

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-03 23:42:48 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
Tags: 8.3pl3-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/changelog
 
1
coq-doc (8.3pl3-1) unstable; urgency=low
 
2
 
 
3
  * New upstream release
 
4
 
 
5
 -- Stéphane Glondu <glondu@debian.org>  Tue, 03 Jan 2012 23:42:48 +0100
 
6
 
1
7
coq-doc (8.3pl2-1) unstable; urgency=low
2
8
 
3
9
  * New upstream release