diff options
| author | rillig <rillig@pkgsrc.org> | 2020-01-26 17:30:40 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2020-01-26 17:30:40 +0000 |
| commit | 0267807f87c64f31dfd0e699ddbab19e55e61df4 (patch) | |
| tree | d0a3f84c95c120b8b0804700a18681e739dece61 /lang/pict | |
| parent | 8d627c555cb4fdc633e2d2ab8056558c863ea6da (diff) | |
| download | pkgsrc-0267807f87c64f31dfd0e699ddbab19e55e61df4.tar.gz | |
all: migrate homepages from http to https
pkglint -r --network --only "migrate"
As a side-effect of migrating the homepages, pkglint also fixed a few
indentations in unrelated lines. These and the new homepages have been
checked manually.
Diffstat (limited to 'lang/pict')
| -rw-r--r-- | lang/pict/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/pict/Makefile b/lang/pict/Makefile index 95a90513e34..2ac74672e9d 100644 --- a/lang/pict/Makefile +++ b/lang/pict/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.21 2019/11/03 19:04:05 rillig Exp $ +# $NetBSD: Makefile,v 1.22 2020/01/26 17:31:30 rillig Exp $ DISTNAME= pict-4.1 PKGREVISION= 16 @@ -10,7 +10,7 @@ PATCHFILES= pict-jumbo-patch-20180316.gz PATCH_DIST_STRIP= -p1 MAINTAINER= dholland@NetBSD.org -HOMEPAGE= http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html +HOMEPAGE= https://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html COMMENT= Concurrent language based on Milner's pi calculus LICENSE= gnu-gpl-v2 |