Ubuntu
coq-equations package

coq-equations 1.3-8.18-1build1 source package in Ubuntu

Changelog

coq-equations (1.3-8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:13:07 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-equations_1.3-8.18.orig.tar.gz 1.1 MiB 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5
coq-equations_1.3-8.18-1build1.debian.tar.xz 2.7 KiB b5b437080f00d4f066697b837447ca8ef2af232d3b863f8adb10d87ffd24d1b0
coq-equations_1.3-8.18-1build1.dsc 2.2 KiB 80d6e3594aedcdedc3d4d6375b0debba2e7449ac9078b576e669f23d6fb6c57c

View changes file

Binary packages built by this source

libcoq-equations: Coq library to work with functions defined by equations

 This library provides a notation to write programs using dependent
 pattern-matching and well-founded recursion in Coq.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-equations-dbgsym: debug symbols for libcoq-equations