--2015-03-09 15:04:26-- ftp://sunsite.informatik.rwth-aachen.de/pub/Linux/gor.bytemark.co.uk/gentoo/distfiles/Isabelle2013-2.tar.gz => ‘/var/tmp/distfiles/Isabelle2013-2.tar.gz’ Resolving sunsite.informatik.rwth-aachen.de... 137.226.34.227 Connecting to sunsite.informatik.rwth-aachen.de|137.226.34.227|:21... connected. Logging in as anonymous ... Logged in! ==> SYST ... done. ==> PWD ... done. ==> TYPE I ... done. ==> CWD (1) /pub/Linux/gor.bytemark.co.uk/gentoo/distfiles ... No such directory ‘pub/Linux/gor.bytemark.co.uk/gentoo/distfiles’. Welcome to the ftp.snt.utwente.nl archive. This service is provided to you by: Studenten Net Twente (SNT) http://www.snt.utwente.nl/ the University of Twente http://www.utwente.nl/ This system may be used 24 hours a day, 7 days a week. All transfers are logged with your hostname and email address. If you don't like this policy, disconnect now! We are available on: http://ftp.snt.utwente.nl/ ftp://ftp.snt.utwente.nl/ rsync://ftp.snt.utwente.nl/ Sponsors: Quarantainenet BV http://www.quarantainenet.nl Byte http://www.byte.nl Murphy Software B.V. http://www.murphy.nl Virtu Secure Webservices http://www.virtu.nl Utwente Faculty of TNW http://www.tnw.utwente.nl Sjoerd van Groning Daan van de Linde DISCLAIMER: Neither University of Twente nor SNT are liable for any use, storage or transmission of any files stored on this archive. Since much of our archive is mirrored from other servers, we can not check all files for virusinfections. Please proceed with caution. If you have any problems or comments about this archive, please send them via e-mail to ftpcom_at_snt.utwente.nl. Please also let us know if there is something we don't have that you think we should! receiving incremental file list rsync: link_stat "/distfiles/Isabelle2013-2.tar.gz" (in gentoo) failed: No such file or directory (2) sent 8 bytes received 115 bytes 246.00 bytes/sec total size is 0 speedup is 0.00 rsync error: some files/attrs were not transferred (see previous errors) (code 23) at main.c(1637) [Receiver=3.1.1] --2015-03-09 15:04:26-- http://isabelle.in.tum.de/dist/Isabelle2013-2.tar.gz Resolving isabelle.in.tum.de... 131.159.46.82 Connecting to isabelle.in.tum.de|131.159.46.82|:80... connected. HTTP request sent, awaiting response... 404 Not Found 2015-03-09 15:04:26 ERROR 404: Not Found. !!! Couldn't download 'Isabelle2013-2.tar.gz'. Aborting. * Fetch failed for 'sci-mathematics/isabelle-2013.2', Log file: * '/var/log/portage/sci-mathematics:isabelle-2013.2:20150309-140425.log' !!! existing preserved libs found This is an amd64 stable chroot image at a hardened host acting as a tinderbox. The full log is stored in amd64-unstable_20150306//var/log/portage/_emerge_20150309-150428.log quick search: https://bugs.gentoo.org/buglist.cgi?quicksearch=sci-mathematics%2Fisabelle Portage 2.2.14 (python 2.7.9-final-0, default/linux/amd64/13.0/desktop/kde, gcc-4.8.3, glibc-2.19-r1, 3.18.8-hardened x86_64) ================================================================= System uname: Linux-3.18.8-hardened-x86_64-Intel-R-_Core-TM-_i7-3770_CPU_@_3.40GHz-with-gentoo-2.2 KiB Mem: 16164808 total, 4973516 free KiB Swap: 16777212 total, 16417340 free Timestamp of tree: Mon, 09 Mar 2015 08:45:01 +0000 ld GNU ld (Gentoo 2.24 p1.4) 2.24 app-shells/bash: 4.2_p53 dev-java/java-config: 2.2.0 dev-lang/perl: 5.20.1-r4 dev-lang/python: 2.7.9-r2, 3.3.5-r1, 3.4.3 dev-util/cmake: 2.8.12.2-r1 sys-apps/baselayout: 2.2 sys-apps/openrc: 0.13.11 sys-apps/sandbox: 2.6-r1 sys-devel/autoconf: 2.69 sys-devel/automake: 1.9.6-r4, 1.10.3-r1, 1.11.6-r1, 1.13.4 sys-devel/binutils: 2.24-r3 sys-devel/gcc: 4.8.3 sys-devel/gcc-config: 1.7.3 sys-devel/libtool: 2.4.4 sys-devel/make: 4.1-r1 sys-kernel/linux-headers: 3.16 (virtual/os-headers) sys-libs/glibc: 2.19-r1 Repositories: gentoo ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="*" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-march=native -O2 -pipe" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /opt/openjms/config /usr/share/config /usr/share/gnupg/qualified.txt /var/lib/hsqldb /var/yp/Makefile" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/dconf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/php/apache2-php5.5/ext-active/ /etc/php/apache2-php5.6/ext-active/ /etc/php/cgi-php5.5/ext-active/ /etc/php/cgi-php5.6/ext-active/ /etc/php/cli-php5.5/ext-active/ /etc/php/cli-php5.6/ext-active/ /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c" CXXFLAGS="-march=native -O2 -pipe" DISTDIR="/var/tmp/distfiles" EMERGE_DEFAULT_OPTS="--nospinner --tree --quiet-build --quiet --jobs 1" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync news parallel-fetch preserve-libs protect-owned sandbox sfperms strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="http://ftp.uni-erlangen.de/pub/mirrors/gentoo rsync://mirror.netcologne.de/gentoo/ ftp://sunsite.informatik.rwth-aachen.de/pub/Linux/gor.bytemark.co.uk/gentoo/ rsync://ftp.snt.utwente.nl/gentoo" LANG="en_US.utf8" LDFLAGS="-Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j1" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="" SYNC="rsync://rsync.de.gentoo.org/gentoo-portage" USE="X a52 aac acl acpi aes-ni alsa amd64 apache2 avx avx2 berkdb bluetooth branding bzip2 cairo cdda cdr cli consolekit corefonts cracklib crypt cups cxx dbus declarative dnssec dot dri drmkms dts dvd dvdr ecc emboss encode exif extraengine fam ffmpeg firefox flac fontconfig fortran fpm gd gdbm gif glamor gpm gtk gudev gui iconv icu isag jadetex jpeg kde kipi lapack lcms libav libkms libnotify libvirtd logrotate macvtap mad mbox minizip mmx mng modules mp3 mp4 mpeg multilib mysql ncurses nls nptl ogg opengl openmp openssl pam pango pax_kernel pcre pcre16 pdf phonon plasma png policykit ppds python qemu qt3support qt4 qt5 readline sdl session spell spice sqlite sse sse2 sse4 sse4_1 sse4_2 ssh-askpass ssl ssse3 startup-notification svg tcpd theora thinkpad threads tiff tk tls truetype udev udisks uml unicode upower usb usbredir uxa v4l v4l2 video vorbis wxwidgets x264 xa xcb xcomposite xinerama xkb xml xmp xscreensaver xslt xv xvfb xvid xvmc zenmap zlib" ABI_X86="64" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" APACHE2_MODULES="authn_core authz_core socache_shmcb unixd actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache cgi cgid dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump author" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="aes avx mmx mmxext popcnt sse sse2 sse3 sse4_1 sse4_2 ssse3" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldsty le oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="keyboard mouse evdev" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LINGUAS="en en_GB" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php5-5" PYTHON_SINGLE_TARGET="python2_7" PYTHON_TARGETS="python2_7 python3_3" RUBY_TARGETS="ruby19 ruby20" USERLAND="GNU" VIDEO_CARDS="fbdev glint intel mach64 mga nouveau nv r128 radeon savage sis tdfx trident vesa via vmware dummy v4l" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" Unset: CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON
Download moved to http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle2013-2.tar.gz See http://isabelle.in.tum.de/download_past.html for all URLs. There is also a version bump to 2014 pending.
(In reply to Thomas Kahle from comment #1) > Download moved to > http://www.cl.cam.ac.uk/users/lcp/archive/Isabelle2013-2.tar.gz Thanks, I will check if this is the correct file. > See http://isabelle.in.tum.de/download_past.html for all URLs. > > There is also a version bump to 2014 pending. I tried to bump it to 2014, and gave up (and went back to 2013.2) as 2014 does not build. Will try again with the next Isabelle release (when it becomes available).
Thanks to Toralf Forster for reporting, Thomas Kahle for finding the missing download file.
