Package Details: ats-postiats-git r453.c0cda56c-1

Git Clone URL: https://aur.archlinux.org/ats-postiats-git.git (read-only, click to copy)
Package Base: ats-postiats-git
Description: A language that unifies implementation with specification (release branch)
Upstream URL: https://www.cs.bu.edu/~hwxi/atslangweb/
Licenses: GPL-3.0-only
Conflicts: ats-postiats
Provides: ats-postiats
Submitter: khuldraeseth
Maintainer: khuldraeseth
Last Packager: khuldraeseth
Votes: 0
Popularity: 0.000000
First Submitted: 2025-01-26 05:44 (UTC)
Last Updated: 2025-01-26 05:44 (UTC)

Dependencies (6)

Required by (0)

Sources (2)