Functional programming language with dependent types
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/at/ats/package.nixDirect dependencies
ats-lang-anairiats-0.2.12.tgzbash-5.2p37gmp-with-cxx-6.3.0stdenv-linuxSelected dependents
None recorded.