# packages

pkgId: a3fec0a2f541cb573dbe36885e21790f358b0a0a5d611a31876cfc755ebaaecb
name: souffle
arch: aarch64
version: 2.0.2
epoch: 0
release: 1.el8
summary: Datalog logical language variant
url: http://souffle-lang.github.io/
rpm_license: UPL
rpm_vendor: Fedora Copr - user petersen
rpm_group: Unspecified
rpm_buildhost: ip-172-30-1-115.ec2.internal
rpm_sourcerpm: souffle-2.0.2-1.el8.src.rpm
location_href: 02151080-souffle/souffle-2.0.2-1.el8.aarch64.rpm
checksum_type: sha256
description:
  Soufflé is a variant of Datalog for tool designers crafting analyses
  in Horn clauses. Soufflé synthesizes a native parallel C++ program
  from a logic specification.


pkgId: 3881e598e59eaef662b871634a3c00d41838a5dc28d9a6ab711397080b6ce36e
name: souffle-debuginfo
arch: aarch64
version: 2.0.2
epoch: 0
release: 1.el8
summary: Debug information for package souffle
url: http://souffle-lang.github.io/
rpm_license: UPL
rpm_vendor: Fedora Copr - user petersen
rpm_group: Development/Debug
rpm_buildhost: ip-172-30-1-115.ec2.internal
rpm_sourcerpm: souffle-2.0.2-1.el8.src.rpm
location_href: 02151080-souffle/souffle-debuginfo-2.0.2-1.el8.aarch64.rpm
checksum_type: sha256
description:
  This package provides debug information for package souffle.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


pkgId: 014a4be7eff8e577847ec0831ddf7a6cdfc4bd317ee27448d780a106eb1a8556
name: souffle-debugsource
arch: aarch64
version: 2.0.2
epoch: 0
release: 1.el8
summary: Debug sources for package souffle
url: http://souffle-lang.github.io/
rpm_license: UPL
rpm_vendor: Fedora Copr - user petersen
rpm_group: Development/Debug
rpm_buildhost: ip-172-30-1-115.ec2.internal
rpm_sourcerpm: souffle-2.0.2-1.el8.src.rpm
location_href: 02151080-souffle/souffle-debugsource-2.0.2-1.el8.aarch64.rpm
checksum_type: sha256
description:
  This package provides debug sources for package souffle.
  Debug sources are useful when developing applications that use this
  package or when debugging this package.


