# packages

pkgId: 731ef66011f69802e5fd553ec10bad180fb6cea44a122b9d9bf78e3050162764
name: ats2
arch: src
version: 0.2.8
epoch: 0
release: 2.el7.centos
summary: ATS2 programming language with a highly expressive type system
url: http://www.ats-lang.org/
rpm_license: GPLv3
rpm_vendor: Fedora Project COPR (codeblock/ats2)
rpm_group: Development/Languages
rpm_buildhost: copr-builder-155913022.novalocal
location_href: 00375968-ats2/ats2-0.2.8-2.el7.centos.src.rpm
checksum_type: sha256
description:
  ATS2 is a statically typed programming language with both dependent
  types and linear types. The compiler is named Postiats. This package
  installs the frontend patscc and the backend patsopt.


pkgId: b78e2e296a9813cdec0f1c0d929814c355c22b1392af35ff3793ddd81749dd0b
name: ats2-debuginfo
arch: x86_64
version: 0.2.8
epoch: 0
release: 2.el7.centos
summary: Debug information for package ats2
url: http://www.ats-lang.org/
rpm_license: GPLv3
rpm_vendor: Fedora Project COPR (codeblock/ats2)
rpm_group: Development/Debug
rpm_buildhost: copr-builder-155913022.novalocal
rpm_sourcerpm: ats2-0.2.8-2.el7.centos.src.rpm
location_href: 00375968-ats2/ats2-debuginfo-0.2.8-2.el7.centos.x86_64.rpm
checksum_type: sha256
description:
  This package provides debug information for package ats2.
  Debug information is useful when developing applications that use this
  package or when debugging this package.


