diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:32:38 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:32:38 -0700 |
commit | df9d55c371e4d28d990026dfe5cf7ecdaa9c4a5f (patch) | |
tree | 22d88581a2b64712e6f0756628f22c5dfb225752 | |
parent | fb450acbc76784089e61f02423a73f20d315ff71 (diff) |
drop spurious period from end of Standards-Version field
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | debian/control | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index f291295..4a011aa 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ agda-stdlib (0.17-1) UNRELEASED; urgency=medium * Team upload. * New upstream release. + * Drop spurious period from end of Standards-Version field. -- Sean Whitton <spwhitton@spwhitton.name> Fri, 23 Nov 2018 17:30:00 -0700 diff --git a/debian/control b/debian/control index 8b44643..73de662 100644 --- a/debian/control +++ b/debian/control @@ -9,7 +9,7 @@ Build-Depends: debhelper (>= 10), libghc-agda-dev (>= 2.5.3), libghc-agda-dev (<< 2.5.4~), libghc-filemanip-dev -Standards-Version: 4.1.1. +Standards-Version: 4.1.1 Vcs-Browser: https://anonscm.debian.org/cgit/collab-maint/agda-stdlib.git Vcs-Git: https://anonscm.debian.org/git/collab-maint/agda-stdlib.git Homepage: http://wiki.portal.chalmers.se/agda/ |