Ubuntu
coq-record-update package

coq-record-update 0.3.4-2 source package in Ubuntu

Changelog

coq-record-update (0.3.4-2) unstable; urgency=medium

  * Fix target distribution.

 -- Julien Puydt <email address hidden>  Fri, 26 Apr 2024 15:46:08 +0200

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-record-update_0.3.4-2.dsc 2.1 KiB 3e43095f42a785c041e8b0c3cc822d94179eab22133b717ccc0fa37543caab0f
coq-record-update_0.3.4.orig.tar.gz 13.3 KiB 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9
coq-record-update_0.3.4-2.debian.tar.xz 2.0 KiB 86bdb9ea86585349fc03adda18eadaf212a70d3529dbb160d17fa942c91a0fa1

No changes file available.

Binary packages built by this source

libcoq-record-update: automatic record fields updaters for Coq

 This package provides an automatic and generic way
 to update record fields in Coq.
 .
 Coq is a proof assistant for higher-order logic.