# packages

pkgId: 8437d39f1bb706e6e40a092851d7eb92f71e2116fc2a9cb890dae39c2ba07805
name: cbi-package-config
arch: i686
version: 16
epoch: 0
release: 11
summary: Cooperative Bug Isolation repository configuration
url: http://research.cs.wisc.edu/cbi/
rpm_license: BSD
rpm_vendor: University of Wisconsin-Madison
rpm_group: System Environment/Base
rpm_buildhost: localhost.localdomain
rpm_sourcerpm: cbi-package-config-16-11.src.rpm
rpm_packager: Ben Liblit <liblit@cs.wisc.edu>
location_href: cbi-package-config-16-11.i686.rpm
checksum_type: sha256
description:
  The Cooperative Bug Isolation Project (CBI) distributes builds of
  popular applications with special instrumentation to help find and
  eliminate bugs.

  This package contains the CBI package signing key as well as
  configuration files for the various popular RPM package managers and
  updaters.


pkgId: 2e22f44deaa686b93abec225fd85bb8f7f5928de0dc4f27fcb7e236729a9b37a
name: ocaml-cil
arch: i686
version: 1.4
epoch: 0
release: 0.fc16.1.20111028git3636d0268b22d
summary: CIL - Infrastructure for C Program Analysis and Transformation
url: http://cil.sourceforge.net/
rpm_license: BSD
rpm_group: Development/Libraries
rpm_buildhost: localhost
rpm_sourcerpm: ocaml-cil-1.4-0.fc16.1.20111028git3636d0268b22d.src.rpm
location_href: ocaml-cil-1.4-0.fc16.1.20111028git3636d0268b22d.i686.rpm
checksum_type: sha256
description:
  CIL (C Intermediate Language) is a high-level representation along
  with a set of tools that permit easy analysis and source-to-source
  transformation of C programs.

  CIL is both lower-level than abstract-syntax trees, by clarifying
  ambiguous constructs and removing redundant ones, and also
  higher-level than typical intermediate languages designed for
  compilation, by maintaining types and a close relationship with the
  source program. The main advantage of CIL is that it compiles all
  valid C programs into a few core constructs with a very clean
  semantics. Also CIL has a syntax-directed type system that makes it
  easy to analyze and manipulate C programs. Furthermore, the CIL
  front-end is able to process not only ANSI-C programs but also those
  using Microsoft C or GNU C extensions. If you do not use CIL and want
  instead to use just a C parser and analyze programs expressed as
  abstract-syntax trees then your analysis will have to handle a lot of
  ugly corners of the language (let alone the fact that parsing C itself
  is not a trivial task).

  In essence, CIL is a highly-structured, "clean" subset of C. CIL
  features a reduced number of syntactic and conceptual forms. For
  example, all looping constructs are reduced to a single form, all
  function bodies are given explicit return statements, syntactic sugar
  like "->" is eliminated and function arguments with array types become
  pointers.


pkgId: 3c499977b989fa1858f333394753dbffd3249bd87e8cf89b8ac01d9c5c8a3ce5
name: ocaml-cil-devel
arch: i686
version: 1.4
epoch: 0
release: 0.fc16.1.20111028git3636d0268b22d
summary: Development files for ocaml-cil
url: http://cil.sourceforge.net/
rpm_license: BSD
rpm_group: Development/Libraries
rpm_buildhost: localhost
rpm_sourcerpm: ocaml-cil-1.4-0.fc16.1.20111028git3636d0268b22d.src.rpm
location_href: ocaml-cil-devel-1.4-0.fc16.1.20111028git3636d0268b22d.i686.rpm
checksum_type: sha256
description:
  The ocaml-cil-devel package contains libraries and signature files for
  developing applications that use ocaml-cil.


pkgId: 185aa30da496e0d3468da5199bc030a652a20bef1861df17d3958825fd976b55
name: sampler
arch: i686
version: 1.8.4
epoch: 0
release: 1
summary: Support for applications with sampled instrumentation
url: http://research.cs.wisc.edu/cbi/
rpm_license: BSD
rpm_vendor: University of Wisconsin-Madison
rpm_group: Applications/System
rpm_buildhost: localhost
rpm_sourcerpm: sampler-1.8.4-1.src.rpm
rpm_packager: Ben Liblit <liblit@cs.wisc.edu>
location_href: sampler-1.8.4-1.i686.rpm
checksum_type: sha256
description:
  This package supports instrumented applications at run time.  It
  includes tools for launching instrumented applications, collecting
  sample and crash reports, and uploading those reports to the central
  bug isolation server.


pkgId: d9332d8dc411ec19ff5ad11ef4e0091fb21e6f58477dd8c960c6564265e1a5d1
name: sampler-debuginfo
arch: i686
version: 1.8.4
epoch: 0
release: 1
summary: Debug information for package sampler
url: http://research.cs.wisc.edu/cbi/
rpm_license: BSD
rpm_vendor: University of Wisconsin-Madison
rpm_group: Development/Debug
rpm_buildhost: localhost
rpm_sourcerpm: sampler-1.8.4-1.src.rpm
rpm_packager: Ben Liblit <liblit@cs.wisc.edu>
location_href: sampler-debuginfo-1.8.4-1.i686.rpm
checksum_type: sha256
description:
  This package provides debug information for package sampler.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: fb67832c74d5f18c024265755ac190fc897636bfccfec52683b162d0bbd67fd4
name: sampler-devel
arch: i686
version: 1.8.4
epoch: 0
release: 1
summary: Tools for building applications with sampled instrumentation
url: http://research.cs.wisc.edu/cbi/
rpm_license: BSD
rpm_vendor: University of Wisconsin-Madison
rpm_group: Development/Tools
rpm_buildhost: localhost
rpm_sourcerpm: sampler-1.8.4-1.src.rpm
rpm_packager: Ben Liblit <liblit@cs.wisc.edu>
location_href: sampler-devel-1.8.4-1.i686.rpm
checksum_type: sha256
description:
  This package provides tools for building applications with sampled
  instrumentation.  It includes an instrumenting C compiler and utility
  tools for collecting and decoding sampled instrumentation reports.


pkgId: 9ba3a03fedf9f754476940866b5a0f4a79272b303cbc1a8d683b33b2f198a3ef
name: sampler-server
arch: i686
version: 1.8.4
epoch: 0
release: 1
summary: CGI script to receive uploaded instrumentation reports
url: http://research.cs.wisc.edu/cbi/
rpm_license: BSD
rpm_vendor: University of Wisconsin-Madison
rpm_group: System Environment/Daemons
rpm_buildhost: localhost
rpm_sourcerpm: sampler-1.8.4-1.src.rpm
rpm_packager: Ben Liblit <liblit@cs.wisc.edu>
location_href: sampler-server-1.8.4-1.i686.rpm
checksum_type: sha256
description:
  This package provides a CGI script that manages the server end of
  sampled instrumentation reporting.  It can be added to any standard
  Apache web server installation that supports CGI scripts and the
  $UNIQUE_ID environment variable.


