← Back to branch summary

~ubuntu-branches/ubuntu/raring/agda-stdlib/raring

« back to all changes in this revision

Viewing changes to debian/changelog

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2013-04-10 10:30:20 UTC
  • mfrom: (2.1.7 experimental)
  • Revision ID: package-import@ubuntu.com-20130410103020-bcspfz3whyy5iafu
Tags: 0.7-1
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
  with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/changelog
 
1
agda-stdlib (0.7-1) experimental; urgency=low
 
2
 
 
3
  * [6d52289] Imported Upstream version 0.7
 
4
  * [54104d0] Update Depends and Build-Depends for this version, compatible
 
5
    with Agda 2.3.2
 
6
  * [b3ddce4] No need for the .install file to be executable (thanks lintian)
 
7
  * [a9a6cb7] Standards-Version → 3.9.4, no changes required
 
8
 
 
9
 -- Iain Lane <laney@debian.org>  Wed, 10 Apr 2013 10:30:20 +0100
 
10
 
1
11
agda-stdlib (0.6-2) unstable; urgency=low
2
12
 
3
13
  * Relax agda dependency a bit to allow for minor releases