diff options
-rw-r--r-- | debian/changelog | 2 | ||||
-rw-r--r-- | debian/control | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index ad27d55..195a80d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,7 +4,7 @@ agda-stdlib (0.12-1) UNRELEASED; urgency=medium * Bump relationships with agda to >= 2.5.1. * Add myself as an uploader. * Bump standards version to 3.9.8 (no changes required). - * Use secure URIs for Vcs-*. + * Update Vcs-* URIs. -- Sean Whitton <spwhitton@spwhitton.name> Fri, 10 Jun 2016 17:29:07 +0900 diff --git a/debian/control b/debian/control index 44b9cef..8c4e577 100644 --- a/debian/control +++ b/debian/control @@ -9,9 +9,9 @@ Build-Depends: debhelper (>= 7.0.50~), libghc-agda-dev (>= 2.5.1), libghc-agda-dev (<< 2.6.0), libghc-filemanip-dev -Standards-Version: 3.9.5 -Vcs-Browser: http://git.debian.org/?p=collab-maint/agda-stdlib.git -Vcs-Git: git://git.debian.org/git/collab-maint/agda-stdlib.git +Standards-Version: 3.9.8 +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/ Package: agda-stdlib |