Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

pvs-sbcl-debuginfo-5.0-10.fc17 RPM for x86_64

From Fedora 17 updates for x86_64 / debug

Name: pvs-sbcl-debuginfo Distribution: Fedora Project
Version: 5.0 Vendor: Fedora Project
Release: 10.fc17 Build date: Wed May 30 17:36:36 2012
Group: Development/Debug Build host: x86-04.phx2.fedoraproject.org
Size: 1032588 Source RPM: pvs-sbcl-5.0-10.fc17.src.rpm
Packager: Fedora Project
Url: http://pvs.csl.sri.com/
Summary: Debug information for package pvs-sbcl
 
This package provides debug information for package pvs-sbcl.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

GPLv2+ and BSD and Public Domain

Changelog

* Tue May 29 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-10
  - rebuild (sbcl)
* Thu Apr 12 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-9
  - rebuild (sbcl)
* Thu Apr 05 2012 Rex Dieter <rdieter@fedoraproject.org> 5.0-8
  - rebuild (sbcl)
* Wed Jan 18 2012 Jerry James <loganjerry@gmail.com> - 5.0-7
  - rebuild (sbcl)
  - Adapt to new fixnum size
  - Fix the (chmod) function
  - Adapt to Emacs 24
  - Minor spec file cleanups
* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 5.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
* Tue Dec 06 2011 Jerry James <loganjerry@gmail.com> - 5.0-5
  - Fix building on non-Intel architectures
* Mon Nov 07 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-4
  - rebuild (sbcl)
* Sat Oct 15 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-3
  - rebuild (sbcl)
* Mon Aug 22 2011 Rex Dieter <rdieter@fedoraproject.org> 5.0-2
  - fix %sbcl_vr macro usage
* Sat Apr 16 2011 Jerry James <loganjerry@gmail.com> - 5.0-1
  - New upstream release
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.2-12.20100126svn
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
* Wed Dec 08 2010 Jerry James <loganjerry@gmail.com> - 4.2-11.20100126svn
  - Update patches for new SBCL
* Thu Sep 30 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-10.20100126svn
  - rebuild (sbcl)
* Wed Sep 29 2010 jkeating - 4.2-9.20100126svn
  - Rebuilt for gcc bug 634757
* Sat Sep 18 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-8.20100126svn
  - rebuild (sbcl)
* Mon Aug 16 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-7.20100126svn
  - rebuild (sbcl)
* Sat Jul 17 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-6.20100126svn
  - rebuild (sbcl)
* Sat May 08 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-5.20100126svn
  - rebuild (sbcl)
* Sat Apr 10 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-4.20100126svn
  - rebuild (sbcl)
* Mon Feb 01 2010 Rex Dieter <rdieter@fedoraproject.org> - 4.2-3.20100126svn
  - rebuild (sbcl)
  - drop Requires(post): desktop-file-utils (not needed)
* Fri Jan 29 2010 Jerry James <loganjerry@gmail.com> - 4.2-2.20100126svn
  - Update to 20100126 snapshot
  - Fix several Emacs bugs, including bz 553023
* Mon Jan 04 2010 Jerry James <loganjerry@gmail.com> - 4.2-2.20100104svn
  - Update to 20100104 snapshot.
  - Fix mona patch.
  - Dump a non-executable SBCL image to avoid prelink and strip issues.
  - Solve the build-time hang in (X)Emacs.
* Tue Dec 22 2009 Jerry James <loganjerry@gmail.com> - 4.2-2.20091008svn
  - Attempt to solve build-time hang in (X)Emacs.
  - Don't fail if sbcl has not been prelinked.
* Mon Dec 21 2009 Jerry James <loganjerry@gmail.com> - 4.2-1.20091008svn
  - Initial RPM

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/08
/usr/lib/debug/.build-id/08/0acaa1a899e01b77726c5dbefe4f3190e78784
/usr/lib/debug/.build-id/08/0acaa1a899e01b77726c5dbefe4f3190e78784.debug
/usr/lib/debug/.build-id/c8
/usr/lib/debug/.build-id/c8/59a142bc9d1c74fcc109bff798cadcc33b509d
/usr/lib/debug/.build-id/c8/59a142bc9d1c74fcc109bff798cadcc33b509d.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/68b80c8a63d5edb5bd594ee8628b55fb277fe2
/usr/lib/debug/.build-id/fe/68b80c8a63d5edb5bd594ee8628b55fb277fe2.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/pvs
/usr/lib/debug/usr/lib64/pvs/bin
/usr/lib/debug/usr/lib64/pvs/bin/linux
/usr/lib/debug/usr/lib64/pvs/bin/linux/b64.debug
/usr/lib/debug/usr/lib64/pvs/bin/linux/runtime
/usr/lib/debug/usr/lib64/pvs/bin/linux/runtime/mu.so.debug
/usr/lib/debug/usr/lib64/pvs/bin/linux/runtime/ws1s.so.debug
/usr/src/debug/pvs-sbcl-5.0
/usr/src/debug/pvs-sbcl-5.0/BDD
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/appl.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/appl.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_extern.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_factor.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_factor.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_fns.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_fns.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_quant.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_quant.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/src/bdd_vfns.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/alloc.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/alloc.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/double.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/double.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/general.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/hash.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/hash.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/list.c
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd/utils/list.h
/usr/src/debug/pvs-sbcl-5.0/BDD/bdd_interface.c
/usr/src/debug/pvs-sbcl-5.0/BDD/linux
/usr/src/debug/pvs-sbcl-5.0/BDD/mu
/usr/src/debug/pvs-sbcl-5.0/BDD/mu/src
/usr/src/debug/pvs-sbcl-5.0/BDD/mu/src/mu.c
/usr/src/debug/pvs-sbcl-5.0/BDD/mu/src/mu.h
/usr/src/debug/pvs-sbcl-5.0/BDD/mu_interface.c
/usr/src/debug/pvs-sbcl-5.0/src
/usr/src/debug/pvs-sbcl-5.0/src/WS1S
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/linux
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/mona
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/mona/BDD
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/mona/BDD/bdd.h
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/mona/DFA
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/mona/DFA/dfa.h
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/ws1s_extended_interface.c
/usr/src/debug/pvs-sbcl-5.0/src/WS1S/ws1s_table.c
/usr/src/debug/pvs-sbcl-5.0/src/utils
/usr/src/debug/pvs-sbcl-5.0/src/utils/b64.c
/usr/src/debug/pvs-sbcl-5.0/src/utils/linux

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu May 23 05:24:34 2013