libatd-ocaml binary package in Ubuntu Mantic riscv64
ATD stands for Adjustable Type Definitions. It is a type definition
language designed to accommodate a variety of programming languages and
data formats by the means of target-specific annotations. It supports
sum types, parametrized types and inheritance. The library provides a
parser and other tools useful for manipulating ATD type definitions.
.
This package contains the shared runtime libraries and plugins.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-09-11 12:14:15 UTC | Published | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-3 | ||
|
|||||||||
Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-3 | |||
|
|||||||||
2023-09-11 12:14:40 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-2build2 | ||
|
|||||||||
2023-09-12 12:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-2build2 | ||
|
|||||||||
2023-08-26 14:21:50 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-2build1 | ||
|
|||||||||
2023-08-27 18:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-2build1 | ||
|
|||||||||
2023-08-07 15:44:29 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-2 | ||
|
|||||||||
2023-08-08 18:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-2 | ||
|
|||||||||
2023-08-06 19:58:59 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-1build2 | ||
|
|||||||||
2023-08-08 00:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-1build2 | ||
|
|||||||||
2023-07-20 08:21:39 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.12.0-1build1 | ||
|
|||||||||
2023-07-21 12:10:10 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-1build1 | ||
|
|||||||||
2023-07-07 19:49:05 UTC | Superseded | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 2.12.0-1 | ||
|
|||||||||
2023-07-13 02:25:12 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 2.10.0-2build3 | ||
|