← Back to branch summary

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

« back to all changes in this revision

Viewing changes to debian/changelog

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2013-12-03 19:54:49 UTC
  • mfrom: (12.1.16 experimental)
  • Revision ID: package-import@ubuntu.com-20131203195449-o4ysim717ufaieeu
Tags: 8.4pl2dfsg-4
Upload to unstable

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/changelog
 
1
coq (8.4pl2dfsg-4) unstable; urgency=low
 
2
 
 
3
  * Upload to unstable
 
4
 
 
5
 -- Stéphane Glondu <glondu@debian.org>  Tue, 03 Dec 2013 19:54:49 +0100
 
6
 
 
7
coq (8.4pl2dfsg-3) experimental; urgency=low
 
8
 
 
9
  * Compile with OCaml 4.01.0
 
10
  * Disable micromega tests on Hurd (because of missing lockf)
 
11
 
 
12
 -- Stéphane Glondu <glondu@debian.org>  Fri, 22 Nov 2013 14:38:00 +0100
 
13
 
 
14
coq (8.4pl2dfsg-2) experimental; urgency=low
 
15
 
 
16
  * Compile with OCaml >= 4
 
17
  * Update Vcs-*
 
18
 
 
19
 -- Stéphane Glondu <glondu@debian.org>  Fri, 26 Jul 2013 14:17:30 +0200
 
20
 
1
21
coq (8.4pl2dfsg-1) unstable; urgency=low
2
22
 
3
23
  * New upstream release