# packages

pkgId: ab24b824ac0d1f58e677cffd50aa3dc85a2912c1c940976ad2eddd0b3f73c416
name: aspcud
arch: src
version: 1.9.1
epoch: 0
release: 1.el7.centos
summary: Solver for package dependencies
url: http://potassco.sourceforge.net
rpm_license: GPLv2
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Applications/Engineering
rpm_buildhost: copr-builder-119689394
location_href: 00126110-aspcud/aspcud-1.9.1-1.el7.centos.src.rpm
checksum_type: sha256
description:
  Aspcud is a solver for package dependencies. A package universe and a request to
  install, remove, or upgrade packages have to be encoded in the CUDF format. Such
  a CUDF document can then be passed to aspcud along with an optimization criteria
  to obtain a solution to the given package problem.


pkgId: c4cd134ddb973c647a87728423eae48a0dcc2a5b3f90ab5a5ce7049db1cd716e
name: aspcud-debuginfo
arch: x86_64
version: 1.9.1
epoch: 0
release: 1.el7.centos
summary: Debug information for package aspcud
url: http://potassco.sourceforge.net
rpm_license: GPLv2
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-119689394
rpm_sourcerpm: aspcud-1.9.1-1.el7.centos.src.rpm
location_href: 00126110-aspcud/aspcud-debuginfo-1.9.1-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package aspcud.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: 0a75d6bcdd982324b8ea37e6fe6f4b81c05c6283239194600d9ea3b2e8b4f70f
name: clasp
arch: src
version: 3.1.3
epoch: 0
release: 2.el7.centos
summary: A conflict-driven nogood learning answer set solver
url: http://potassco.sourceforge.net
rpm_license: GPLv2
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Applications/Engineering
rpm_buildhost: copr-builder-67870976
location_href: 00126086-clasp/clasp-3.1.3-2.el7.centos.src.rpm
checksum_type: sha256
description:
  clasp is an answer set solver for (extended) normal and disjunctive logic
  programs. It combines the high-level modeling capacities of answer set
  programming (ASP) with state-of-the-art techniques from the area of Boolean
  constraint solving. The primary clasp algorithm relies on conflict-driven nogood
  learning, a technique that proved very successful for satisfiability checking
  (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy
  software, such as a SAT solver or any other existing ASP solver. Rather, clasp
  has been genuinely developed for answer set solving based on conflict-driven
  nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as
  output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF
  format), or as a PB solver (on OPB format).


pkgId: 3fd23ec788552b341400bae6c7ea63a20be7a371f849f98f06613df2251f18f4
name: clasp-debuginfo
arch: x86_64
version: 3.1.3
epoch: 0
release: 2.el7.centos
summary: Debug information for package clasp
url: http://potassco.sourceforge.net
rpm_license: GPLv2
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-67870976
rpm_sourcerpm: clasp-3.1.3-2.el7.centos.src.rpm
location_href: 00126086-clasp/clasp-debuginfo-3.1.3-2.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package clasp.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: 21d48b517aafd6fb71eec3b6b7afff80f7a59c925e5cc0e32e855ccd89765332
name: gringo
arch: src
version: 4.5.3
epoch: 0
release: 1.el7.centos
summary: Grounding tools for (disjunctive) logic programs
url: http://potassco.sourceforge.net
rpm_license: GPLv3
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Applications/Engineering
rpm_buildhost: copr-builder-119689394
location_href: 00126106-gringo/gringo-4.5.3-1.el7.centos.src.rpm
checksum_type: sha256
description:
  Current answer set solvers work on variable-free programs. Hence, a grounder is
  needed that, given an input program with first-order variables, computes an
  equivalent ground (variable-free) program. Gringo is such a grounder. Its
  output can be processed further with clasp, claspar, or claspfolio.


pkgId: 41f814c4a3a462c54de25e4db1deb4f7e8c3fa10037223c19e1de1a10cdc108e
name: gringo-debuginfo
arch: x86_64
version: 4.5.3
epoch: 0
release: 1.el7.centos
summary: Debug information for package gringo
url: http://potassco.sourceforge.net
rpm_license: GPLv3
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-119689394
rpm_sourcerpm: gringo-4.5.3-1.el7.centos.src.rpm
location_href: 00126106-gringo/gringo-debuginfo-4.5.3-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package gringo.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: 0ccf4b494140e168e5362fb095b6212b4a0b16a5a61b516f60606064c691de57
name: ocaml-cmdliner
arch: src
version: 0.9.7
epoch: 0
release: 1.el7.centos
summary: Declarative definition of command-line interfaces for OCaml
url: http://erratique.ch/software/cmdliner
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Unspecified
rpm_buildhost: copr-builder-67870976
location_href: 00126094-ocaml-cmdliner/ocaml-cmdliner-0.9.7-1.el7.centos.src.rpm
checksum_type: sha256
description:
  Cmdliner is an OCaml module for the declarative definition of command line
  interfaces. It provides a simple and compositional mechanism to convert
  command line arguments to OCaml values and pass them to your functions.
  The module automatically handles syntax errors, help messages and UNIX
  man page generation. It supports programs with single or multiple commands
  (like darcs or git) and respects most of the POSIX and GNU conventions.


pkgId: 6623dc16c9dfec9d67943e147d728a0be2b02f199d7a27dd4d90008688f0b4e9
name: ocaml-cmdliner-debuginfo
arch: x86_64
version: 0.9.7
epoch: 0
release: 1.el7.centos
summary: Debug information for package ocaml-cmdliner
url: http://erratique.ch/software/cmdliner
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-67870976
rpm_sourcerpm: ocaml-cmdliner-0.9.7-1.el7.centos.src.rpm
location_href: 00126094-ocaml-cmdliner/ocaml-cmdliner-debuginfo-0.9.7-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package ocaml-cmdliner.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: 30ca8ec200e99b55e9dc76686b987cba3458a272955a1dd10a06ed9ca6280ce9
name: ocaml-cmdliner-devel
arch: x86_64
version: 0.9.7
epoch: 0
release: 1.el7.centos
summary: Development files for ocaml-cmdliner
url: http://erratique.ch/software/cmdliner
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Unspecified
rpm_buildhost: copr-builder-67870976
rpm_sourcerpm: ocaml-cmdliner-0.9.7-1.el7.centos.src.rpm
location_href: 00126094-ocaml-cmdliner/ocaml-cmdliner-devel-0.9.7-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  The ocaml-cmdliner-devel package contains libraries and signature files for
  developing applications that use ocaml-cmdliner.


pkgId: c361bfad1ff122a65313970ca28917c72260f63511f91bf61e06a0edc9ff0c09
name: ocaml-uutf
arch: src
version: 0.9.4
epoch: 0
release: 1.el7.centos
summary: Non-blocking streaming codec for UTF-8, UTF-16, UTF-16LE and UTF-16BE
url: http://erratique.ch/software/uutf
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Unspecified
rpm_buildhost: copr-builder-521083165
location_href: 00126097-ocaml-uutf/ocaml-uutf-0.9.4-1.el7.centos.src.rpm
checksum_type: sha256
description:
  Uutf is an non-blocking streaming Unicode codec for OCaml to decode and
  encode the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can
  efficiently work character by character without blocking on IO. Decoders
  perform character position tracking and support newline normalization.

  Functions are also provided to fold over the characters of UTF encoded
  OCaml string values and to directly encode characters in OCaml Buffer.t
  values.

  Uutf is made of a single, independent, module and distributed under the
  BSD license.


pkgId: b73bbfd0c2057d76b9ffbd90901bc29bcd001e6882564f333986fc7586cf9480
name: ocaml-uutf-debuginfo
arch: x86_64
version: 0.9.4
epoch: 0
release: 1.el7.centos
summary: Debug information for package ocaml-uutf
url: http://erratique.ch/software/uutf
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-521083165
rpm_sourcerpm: ocaml-uutf-0.9.4-1.el7.centos.src.rpm
location_href: 00126097-ocaml-uutf/ocaml-uutf-debuginfo-0.9.4-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package ocaml-uutf.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: de33fe60199bc14cdba46fd906271b4e0785ec5fa05ad42afa96bf220c3209ca
name: ocaml-uutf-devel
arch: x86_64
version: 0.9.4
epoch: 0
release: 1.el7.centos
summary: Development files for ocaml-uutf
url: http://erratique.ch/software/uutf
rpm_license: BSD
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Unspecified
rpm_buildhost: copr-builder-521083165
rpm_sourcerpm: ocaml-uutf-0.9.4-1.el7.centos.src.rpm
location_href: 00126097-ocaml-uutf/ocaml-uutf-devel-0.9.4-1.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  The ocaml-uutf-devel package contains libraries and signature files for
  developing applications that use ocaml-uutf.


pkgId: 41dcd6b2a51be0656abd5415e681fec4d66f9a541a57960d1ce728ca48ff6ea7
name: re2c
arch: src
version: 0.14.3
epoch: 0
release: 1
summary: Tool for generating C-based recognizers from regular expressions
url: http://re2c.sourceforge.net/
rpm_license: MIT
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Tools
rpm_buildhost: copr-builder-119689394
location_href: 00126103-re2c/re2c-0.14.3-1.src.rpm
checksum_type: sha256
description:
  re2c is a great tool for writing fast and flexible lexers. It has
  served many people well for many years and it deserves to be
  maintained more actively. re2c is on the order of 2-3 times faster
  than a flex based scanner, and its input model is much more
  flexible.


pkgId: 12c95f639e25e62dcb499ab680e9d19061bb89e6dcf1a3358a23fb6c5ccdc04a
name: re2c-debuginfo
arch: x86_64
version: 0.14.3
epoch: 0
release: 1
summary: Debug information for package re2c
url: http://re2c.sourceforge.net/
rpm_license: MIT
rpm_vendor: Fedora Project COPR (jonludlam/opam)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-119689394
rpm_sourcerpm: re2c-0.14.3-1.src.rpm
location_href: 00126103-re2c/re2c-debuginfo-0.14.3-1.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package re2c.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


