diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-05-02 17:29:00 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-05-02 17:29:00 +0200 |
commit | 7f5dccbe5fee224ecfeceec6e206cca67ad58452 (patch) | |
tree | 2891c20f6f89a6a9ca7a967ca2245c0f8370d5b4 /missing | |
parent | fd4ff4e58174679784d7698880717eefc9399ba7 (diff) | |
parent | 83ea1be016fd5fc27ee721cf62a18716675815dc (diff) |
Update upstream source from tag 'upstream/6.8.2'
Update to upstream version '6.8.2'
with Debian dir 36d9b721af0175dd84faa77cc24739097d03e9bb
Diffstat (limited to 'missing')
-rwxr-xr-x | missing | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -1,9 +1,9 @@ #! /bin/sh # Common wrapper for a few potentially missing GNU programs. -scriptversion=2016-01-11.22; # UTC +scriptversion=2018-03-07.03; # UTC -# Copyright (C) 1996-2017 Free Software Foundation, Inc. +# Copyright (C) 1996-2018 Free Software Foundation, Inc. # Originally written by Fran,cois Pinard <pinard@iro.umontreal.ca>, 1996. # This program is free software; you can redistribute it and/or modify @@ -17,7 +17,7 @@ scriptversion=2016-01-11.22; # UTC # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. # As a special exception to the GNU General Public License, if you # distribute this file as part of a program that contains a @@ -101,9 +101,9 @@ else exit $st fi -perl_URL=http://www.perl.org/ -flex_URL=http://flex.sourceforge.net/ -gnu_software_URL=http://www.gnu.org/software +perl_URL=https://www.perl.org/ +flex_URL=https://github.com/westes/flex +gnu_software_URL=https://www.gnu.org/software program_details () { @@ -207,7 +207,7 @@ give_advice "$1" | sed -e '1s/^/WARNING: /' \ exit $st # Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) +# eval: (add-hook 'before-save-hook 'time-stamp) # time-stamp-start: "scriptversion=" # time-stamp-format: "%:y-%02m-%02d.%02H" # time-stamp-time-zone: "UTC0" |