haskell-copilot-theorem 3.18.1-2 source package in Ubuntu
Changelog
haskell-copilot-theorem (3.18.1-2) unstable; urgency=medium * Add z3 as BD to fix tests -- Scott Talbert <email address hidden> Mon, 08 Jan 2024 22:35:41 -0500
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Noble | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| haskell-copilot-theorem_3.18.1-2.dsc | 3.7 KiB | d5e3529d6c573c2153a776168cbb741011574db2489e4eb8eb19add77a4575ae |
| haskell-copilot-theorem_3.18.1.orig.tar.gz | 65.8 KiB | 79293c5ddb2d6e7606baac3723a6ca91ceda89a3a38724b0a94f8b7313204493 |
| haskell-copilot-theorem_3.18.1-2.debian.tar.xz | 2.8 KiB | f9cf57bcd9bec730335ac58f9fe8b715fd03ca036fa1f87525b526a3acb8d1fc |
Available diffs
- diff from 3.17-1 to 3.18.1-2 (3.0 KiB)
- diff from 3.18.1-1build1 (in Ubuntu) to 3.18.1-2 (515 bytes)
No changes file available.
Binary packages built by this source
- libghc-copilot-theorem-dev: k-induction for Copilot.
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https://copilot- language. github. io>.
.
This package provides a library for the Haskell programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-copilot-theorem-doc: k-induction for Copilot.; documentation
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https://copilot- language. github. io>.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-copilot-theorem-prof: k-induction for Copilot.; profiling libraries
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https://copilot- language. github. io>.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.
