Package details
Package ats2
Version 0.4.2-r0
Description Statically-typed language with formal specification features
Project https://www.cs.bu.edu/~hwxi/atslangweb/
License GPL-3.0-or-later AND LGPL-3.0-or-later
Branch edge
Repository testing
Architecture riscv64
Size 1.8MiB
Installed size 12.9MiB
Origin ats2
Maintainer Celeste
Build time 2024-09-29 06:01:22
Commit 8d21b0e8b5136832480c6b402f0c920bb840e9d6
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (0)
Provides (3)
Install if (0)