# packages

pkgId: 773463b46d1aae50730be823b8352aa88e708f42d36463747b0e985373fa5842
name: ats2
arch: src
version: 0.1.4
epoch: 0
release: 1.el6
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: i-0001ae2d
location_href: epel-6-x86_64/ats2-0.1.4-1.fc21/ats2-0.1.4-1.el6.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: a0809985401736a2c7ac5c608c14d993dd8aba59931b7764a5f22bd9e5168265
name: ats2-debuginfo
arch: x86_64
version: 0.1.4
epoch: 0
release: 1.el6
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: i-0001ae2d
rpm_sourcerpm: ats2-0.1.4-1.el6.src.rpm
location_href: epel-6-x86_64/ats2-0.1.4-1.fc21/ats2-debuginfo-0.1.4-1.el6.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.


