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 |