diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:42:10 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-23 17:42:10 -0700 |
commit | 3580bd89f9572e2ef4c6d9c13e5ecf75f0e332ae (patch) | |
tree | 8cf3816f2e9f3e31028b9e60a91fa1cd2feb99ec | |
parent | 83173f56b60cbafa8c3308cc9d3da8c7d1d839c3 (diff) |
point Vcs-* at salsa
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | debian/control | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 77b5433..b31ebe7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,7 @@ agda-stdlib (0.17-1) UNRELEASED; urgency=medium Require 2.5.4.1 per upstream changelog. Assume, for now, that agda-stdlib will break with 2.5.5. * Drop spurious period from end of Standards-Version field. + * Point Vcs-* at salsa. -- Sean Whitton <spwhitton@spwhitton.name> Fri, 23 Nov 2018 17:30:00 -0700 diff --git a/debian/control b/debian/control index 7c58bb9..5d544b8 100644 --- a/debian/control +++ b/debian/control @@ -10,8 +10,8 @@ Build-Depends: debhelper (>= 10), libghc-agda-dev (<< 2.5.5~), libghc-filemanip-dev 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 +Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib +Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git Homepage: http://wiki.portal.chalmers.se/agda/ Package: agda-stdlib |