psmt2-frontend 0.4.0-3build1 source package in Ubuntu
Changelog
psmt2-frontend (0.4.0-3build1) noble; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Fri, 03 Nov 2023 08:16:32 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Noble | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| psmt2-frontend_0.4.0.orig.tar.gz | 69.1 KiB | 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 |
| psmt2-frontend_0.4.0-3build1.debian.tar.xz | 2.3 KiB | f20132e518219640b0f98e0147fdaa4970d7d2e0dccf6513c3efc687e182920c |
| psmt2-frontend_0.4.0-3build1.dsc | 2.2 KiB | 2779e7feeee25b54fa2f2367a46d114a51abbe165efa13bd2fc2cd0cbb810f07 |
Available diffs
- diff from 0.4.0-3 (in Debian) to 0.4.0-3build1 (326 bytes)
Binary packages built by this source
- libpsmt2-frontend-ocaml: Parse and type-check SMT-LIB 2 (runtime files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
.
This package provides the runtime files.
- libpsmt2-frontend-ocaml-dbgsym: debug symbols for libpsmt2-frontend-ocaml
- libpsmt2-frontend-ocaml-dev: Parse and type-check SMT-LIB 2 (dev files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
.
This package provides the dev files.
- psmt2-frontend: Parse and type-check SMT-LIB 2 (tool)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 with prenex polymorphism.
.
This package provides the command-line tool.
- psmt2-frontend-dbgsym: debug symbols for psmt2-frontend
