I was pinged recently by na...@mips.inka.de, and informed that he was getting 403s when building the lang/spin port:
$ ftp https://spinroot.com/spin/Src/spin647.tar.gz Trying 2400:cb00:2048:1::681c:a15... Requesting https://spinroot.com/spin/Src/spin647.tar.gz ftp: Error retrieving file: 403 Forbidden $ ftp -4 https://spinroot.com/spin/Src/spin647.tar.gz Trying 104.28.10.21... Requesting https://spinroot.com/spin/Src/spin647.tar.gz ftp: Error retrieving file: 403 Forbidden It turns out that spinroot.com has overzealous Cloudflare checks, and seems to block some people in Europe from downloading the tarball automatically. Therefore, I'm mirroring the tarball on a server that I maintain. I'm leaving upstream in the makefile for now, as a fallback for those upon whom the favor of Cloudflare doth shine. Not sure if that's a good idea, so I can remove it if anyone has an opinion. I've also tried to ping the people who host the upstream version, so that hopefully we we can use them as the canonical host again in the future, without random people getting blocked. Also removed a stray newline and bumped the revision. Index: Makefile =================================================================== RCS file: /cvs/ports/lang/spin/Makefile,v retrieving revision 1.1.1.1 diff -u -p -r1.1.1.1 Makefile --- Makefile 17 Dec 2017 23:38:19 -0000 1.1.1.1 +++ Makefile 20 Dec 2017 05:37:03 -0000 @@ -1,6 +1,7 @@ # $OpenBSD: Makefile,v 1.1.1.1 2017/12/17 23:38:19 akoshibe Exp $ V = 6.4.7 +REVISION = 0 COMMENT = tool for formal verification of parallel software DISTNAME = spin${V:S/.//g} PKGNAME = spin-${V} @@ -14,7 +15,8 @@ PERMIT_PACKAGE_CDROM = Yes WANTLIB += c -MASTER_SITES = https://spinroot.com/spin/Src/ +MASTER_SITES = https://eigenstate.org/distfiles/ \ + https://spinroot.com/spin/Src/ ALL_TARGET = spin MAKE_FILE = makefile cvs server: Diffing patches cvs server: Diffing pkg Index: pkg/DESCR =================================================================== RCS file: /cvs/ports/lang/spin/pkg/DESCR,v retrieving revision 1.1.1.1 diff -u -p -r1.1.1.1 DESCR --- pkg/DESCR 17 Dec 2017 23:38:19 -0000 1.1.1.1 +++ pkg/DESCR 20 Dec 2017 05:37:03 -0000 @@ -5,4 +5,3 @@ system model specified in Promela (the P a specifciation of the requirements for logical correctness, and allows both interactive and exhaustive simulations of the system for verifying these properties. - -- Ori Bernstein