Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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

Package Actions

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)

bash (bash-git^AUR, bash-devel-git^AUR)
glibc (glibc-git^AUR, glibc-git-native-pgo^AUR, glibc-eac^AUR)
gcc (gcc-git^AUR, gcc-fast-optimized^AUR, gccrs-git^AUR, cosmopolitan-bin^AUR, gcc-snapshot^AUR) (make)
git (git-git^AUR, git-gl^AUR, git-wd40^AUR) (make)
gmp (gmp-hg^AUR) (optional) – multiprecision arithmetic
python (optional) – atscc2py3

Required by (0)

Sources (2)