>>> Install agda-stdlib-2.5.2.0.13 into /var/tmp/portage/sci-mathematics/agda-stdlib-2.5.2.0.13/image/ category sci-mathematics /usr/bin/install: cannot stat '/usr/portage/sci-mathematics/agda-stdlib/files/standard-library.agda-lib': No such file or directory !!! doins: /usr/portage/sci-mathematics/agda-stdlib/files/standard-library.agda-lib does not exist * ERROR: sci-mathematics/agda-stdlib-2.5.2.0.13::gentoo failed (install phase): * doins failed ----------------------------------------------------------------- This is an unstable amd64 chroot image (named plasma-systemd_20170215-191016) at a hardened host acting as a tinderbox. ----------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-5.4.0 * llvm-config: 3.9.1 Available Python interpreters, in order of preference: [1] python2.7 [2] python3.4 (fallback) Available Ruby profiles: [1] ruby21 (with Rubygems) * java-config: The following VMs are available for generation-2: Available Java Virtual Machines: (none found)
Created attachment 463952 [details] emerge-info.txt
Created attachment 463954 [details] emerge-history.txt
Created attachment 463956 [details] environment
Created attachment 463958 [details] etc.portage.tbz2
Created attachment 463960 [details] sci-mathematics:agda-stdlib-2.5.2.0.13:20170216-151232.log
Added forgotten files/ file as: https://gitweb.gentoo.org/repo/gentoo.git/commit/sci-mathematics/agda-stdlib?id=15db6e80760c5c0633251eaf0058ca8e6a10ff2f Thanks for the report!
