diff options
author | Andrej Shadura <andrewsh@debian.org> | 2020-07-06 13:36:06 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2020-07-06 13:36:06 +0200 |
commit | e37410b7ed884852f3aa278fb71709bd0c8e3814 (patch) | |
tree | 3caeaee3f2e623565c94f3c53b46f2f83d90828f | |
parent | 438ead4e6111ffe02215cb5e810b5f4a767bd2a5 (diff) |
d/watch: Use https protocol
-rw-r--r-- | debian/changelog | 3 | ||||
-rw-r--r-- | debian/watch | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 72af68a..be2d5d7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -31,6 +31,9 @@ mcu8051ide (1.4.9-2) UNRELEASED; urgency=medium * debian/watch: bump the version to 4. * Include typo fixes in gzipped manpage provided by the upstream. + [ Andrej Shadura ] + * d/watch: Use https protocol. + -- Andrej Shadura <andrewsh@debian.org> Mon, 06 Jul 2020 13:32:07 +0200 mcu8051ide (1.4.9-1) unstable; urgency=medium diff --git a/debian/watch b/debian/watch index a5f39b5..0893748 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ version=4 -http://sf.net/mcu8051ide/mcu8051ide-(.*)\.tar\.gz +https://sf.net/mcu8051ide/mcu8051ide-(.*)\.tar\.gz |