coq-interval 4.10.0-1 source package in Ubuntu
Changelog
coq-interval (4.10.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Sat, 30 Mar 2024 11:44:41 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- 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.10.0-1.dsc | 2.1 KiB | 89ab66274e5d6bb174b6d84aef2c17a153575965d7e68b20f29cabb562bed5a2 |
| coq-interval_4.10.0.orig.tar.bz2 | 292.7 KiB | b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e |
| coq-interval_4.10.0-1.debian.tar.xz | 9.0 KiB | 5a2d9495b2366a4826428dd78a0a03f9bd6292f1c60765add6b0c1ab85884dd3 |
Available diffs
No changes file available.
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
