Disable rpm_fedora27x86_64

Fedora 27 provides an incompatible version of Boost (1.64.0).
This commit is contained in:
Eelco Dolstra 2018-07-31 17:34:53 +02:00
parent 4b4adbc93d
commit 94b2e4e1be
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -206,7 +206,7 @@ let
};
rpm_fedora27x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora27x86_64) [ ];
#rpm_fedora27x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora27x86_64) [ ];
#deb_debian8i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian8i386) [ "libsodium-dev" ] [ "libsodium13" ];