libghc-sbv-prof binary package in Ubuntu Noble amd64
Express properties about Haskell programs and automatically prove them
using SMT (Satisfiability Modulo Theories) solvers.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-12-19 19:59:39 UTC | Published | Ubuntu Noble amd64 | release | universe | haskell | Extra | 10.2-1 | ||
|
|||||||||
Deleted | Ubuntu Noble amd64 | proposed | universe | haskell | Extra | 10.2-1 | |||
|
|||||||||
2023-12-19 20:15:22 UTC | Superseded | Ubuntu Noble amd64 | release | universe | haskell | Extra | 8.17-1build1 | ||
|