coq-interval 4.9.0-1build1 source package in Ubuntu
Changelog
coq-interval (4.9.0-1build1) noble; urgency=medium * Rebuild against latest coq libraries -- Jeremy Bícha <email address hidden> Sun, 28 Jan 2024 08:30:26 -0500
Upload details
- Uploaded by:
- Jeremy Bícha
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-interval_4.9.0.orig.tar.bz2 | 275.4 KiB | 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 |
| coq-interval_4.9.0-1build1.debian.tar.xz | 9.1 KiB | 7b362386658f3c32c66fffd72b1dc95f53a10f2fe3b60e4c52be609695b3e284 |
| coq-interval_4.9.0-1build1.dsc | 2.1 KiB | dcc907a1d1585fce8ed2aef6f02c8919a39810e820f1763f2fa895dbc3f6b214 |
Available diffs
- diff from 4.8.0-1build2 to 4.9.0-1build1 (16.0 KiB)
- diff from 4.9.0-1 (in Debian) to 4.9.0-1build1 (320 bytes)
Binary packages built by this source
- libcoq-interval: interval arithmetic for Coq
This package provides tactics to simplify the
proof of inequalities on expressions of real
numbers.
.
Coq is a proof assistant for higher-order logic.
- libcoq-interval-dbgsym: debug symbols for libcoq-interval
