filnix.runningLive log

ats2

0.4.2FailedDependencies →

Functional programming language with dependent types

Build failed; an explicit retry is required.

Failure log · 14 Sep 21:38 · This campaign

Planning log · 14 Sep 21:23 · This campaign

pkgs/by-name/at/ats2/package.nix

Direct dependencies

ATS2-Postiats-contrib-0.4.2.tgz ATS2-Postiats-gmp-0.4.2.tgz bash-5.2p37 gmp-with-cxx-6.3.0 stdenv-linux

Selected dependents

None recorded.