libqcheck-core-ocaml binary package in Ubuntu Mantic riscv64
This module allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
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 | 0.21.2-1 | ||
|
|||||||||
Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.21.2-1 | |||
|
|||||||||
2023-09-11 12:14:40 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 0.21.1-2 | ||
|
|||||||||
2023-09-12 12:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.21.1-2 | ||
|
|||||||||
2023-08-17 20:50:18 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 0.21.1-1 | ||
|
|||||||||
2023-08-19 00:10:08 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.21.1-1 | ||
|
|||||||||
2023-07-23 11:19:15 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 0.20-2 | ||
|
|||||||||
2023-07-24 12:10:09 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.20-2 | ||
|
|||||||||
2023-07-13 11:39:34 UTC | Superseded | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.20-2~build1 | ||
|
|||||||||
2023-07-18 06:39:41 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 0.20-1ubuntu1 | ||
|
|||||||||
2023-07-19 12:10:11 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.20-1ubuntu1 | ||
|
|||||||||
2023-07-12 17:49:50 UTC | Superseded | Ubuntu Mantic riscv64 | proposed | universe | ocaml | Optional | 0.20-1build1 | ||
|
|||||||||
2023-07-13 02:25:12 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | ocaml | Optional | 0.20-1 | ||
|