<86>May 4 00:03:58 userdel[2962485]: delete user 'rooter' <86>May 4 00:03:58 userdel[2962485]: removed group 'rooter' owned by 'rooter' <86>May 4 00:03:58 userdel[2962485]: removed shadow group 'rooter' owned by 'rooter' <86>May 4 00:03:58 groupadd[2962506]: group added to /etc/group: name=rooter, GID=1802 <86>May 4 00:03:58 groupadd[2962506]: group added to /etc/gshadow: name=rooter <86>May 4 00:03:58 groupadd[2962506]: new group: name=rooter, GID=1802 <86>May 4 00:03:58 useradd[2962517]: new user: name=rooter, UID=1802, GID=1802, home=/root, shell=/bin/bash, from=none <86>May 4 00:03:58 userdel[2962536]: delete user 'builder' <86>May 4 00:03:58 userdel[2962536]: removed group 'builder' owned by 'builder' <86>May 4 00:03:58 userdel[2962536]: removed shadow group 'builder' owned by 'builder' <86>May 4 00:03:58 groupadd[2962552]: group added to /etc/group: name=builder, GID=1803 <86>May 4 00:03:58 groupadd[2962552]: group added to /etc/gshadow: name=builder <86>May 4 00:03:58 groupadd[2962552]: new group: name=builder, GID=1803 <86>May 4 00:03:58 useradd[2962564]: new user: name=builder, UID=1803, GID=1803, home=/usr/src, shell=/bin/bash, from=none /usr/src/in/srpm/ProofGeneral-3.7.1-alt1.src.rpm: bad symbols in the license tag: , warning: user hacker does not exist - using root warning: group hacker does not exist - using root warning: user hacker does not exist - using root warning: group hacker does not exist - using root warning: user hacker does not exist - using root warning: group hacker does not exist - using root Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/ProofGeneral-3.7.1-alt1.nosrc.rpm (w1.gzdio) Installing ProofGeneral-3.7.1-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.40479 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf ProofGeneral-3.7.1 + echo 'Source #0 (ProofGeneral-3.7.1.tgz):' Source #0 (ProofGeneral-3.7.1.tgz): + /bin/gzip -dc /usr/src/RPM/SOURCES/ProofGeneral-3.7.1.tgz + /bin/tar -xf - + cd ProofGeneral-3.7.1 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.40479 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd ProofGeneral-3.7.1 + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.40479 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/ProofGeneral-buildroot + : + /bin/rm -rf -- /usr/src/tmp/ProofGeneral-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd ProofGeneral-3.7.1 + mkdir -p /usr/src/tmp/ProofGeneral-buildroot/etc/emacs/site-start.d/ + mkdir -p /usr/src/tmp/ProofGeneral-buildroot/usr/share/emacs/site-lisp/proofgeneral/ + cat + tar -cf - . + cd /usr/src/tmp/ProofGeneral-buildroot/usr/share/emacs/site-lisp/proofgeneral + tar -xf - + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/ProofGeneral-buildroot (auto) removed './usr/share/emacs/site-lisp/proofgeneral/images/gimp/.cvsignore' Verifying and fixing files in /usr/src/tmp/ProofGeneral-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/ProofGeneral-buildroot/ (default) Compressing files in /usr/src/tmp/ProofGeneral-buildroot (skip) Adjusting library links in /usr/src/tmp/ProofGeneral-buildroot ./usr/share/emacs/site-lisp/proofgeneral/lib: (from :0) Verifying ELF objects in /usr/src/tmp/ProofGeneral-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Splitting links to aliased files under /{,s}bin in /usr/src/tmp/ProofGeneral-buildroot Processing files: ProofGeneral-3.7.1-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.40479 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd ProofGeneral-3.7.1 + DOCDIR=/usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + export DOCDIR + rm -rf /usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + /bin/mkdir -p /usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + cp -prL AUTHORS FAQ CHANGES COPYING BUGS README /usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + chmod -R go-w /usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + chmod -R a+rX /usr/src/tmp/ProofGeneral-buildroot/usr/share/doc/ProofGeneral-3.7.1 + exit 0 Requires: perl Wrote: /usr/src/RPM/RPMS/noarch/ProofGeneral-3.7.1-alt1.noarch.rpm (w2.lzdio) 0.62user 0.30system 0:00.82elapsed 113%CPU (0avgtext+0avgdata 21304maxresident)k 0inputs+0outputs (0major+47182minor)pagefaults 0swaps /.out/ProofGeneral-3.7.1-alt1.noarch.rpm: bad symbols in the license tag: , 0.59user 1.73system 0:05.79elapsed 40%CPU (0avgtext+0avgdata 12220maxresident)k 0inputs+0outputs (0major+94583minor)pagefaults 0swaps --- ProofGeneral-3.7.1-alt1.noarch.rpm.repo 2008-10-21 22:41:23.000000000 +0000 +++ ProofGeneral-3.7.1-alt1.noarch.rpm.hasher 2024-05-04 00:04:00.920645211 +0000 @@ -527,5 +527,3 @@ Requires: perl -Requires: rpmlib(PayloadFilesHavePrefix) <= 4.0-1 -Requires: rpmlib(CompressedFileNames) <= 3.0.4-1 -Requires: rpmlib(PayloadIsLzma) <= 4.4.2-1 +Requires: rpmlib(PayloadIsLzma) Provides: ProofGeneral = 3.7.1-alt1 @@ -1057,2 +1055,2 @@ File: /usr/share/emacs/site-lisp/proofgeneral/x-symbol/pkginfo/MANIFEST.x-symbol 100644 root:root b15d59e3309482c8b2e1497b0c20033c -RPMIdentity: d3b2c597d0f7429e6e1247addac98e107a5ec2dcc7fe5f4c92b6ab03e2be966bad2b04a78561f6c7f571b430e741a982c3481d261b913246abb11dc960e560bd +RPMIdentity: fa68fa8922954ed7139e8fab0e98b86d18a852add73de3ed75614e7ef2de5023319bb9362cb0c539591ee6e85d6a1aea0d5cbb56e5c858a18904a6f1eacb6b8f