Ubuntu
coq-record-update package

coq-record-update 0.3.3-1build1 source package in Ubuntu

Changelog

coq-record-update (0.3.3-1build1) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Fri, 22 Dec 2023 21:23:42 -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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-record-update_0.3.3.orig.tar.gz 13.3 KiB 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3
coq-record-update_0.3.3-1build1.debian.tar.xz 2.0 KiB 27ae3e8e16162bc6134c3ae4a2e0d6444122258b49cc4eafbf75a659ed893ca3
coq-record-update_0.3.3-1build1.dsc 2.1 KiB f8f44589e3f7088893af422f50ce3fbbd6fff9c57699d72b2fed9457308236f2

View changes file

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.