Ubuntu
coq-mtac2 package

coq-mtac2 1.4+8.18-1 source package in Ubuntu

Changelog

coq-mtac2 (1.4+8.18-1) unstable; urgency=medium

  * Fix d/rules clean target (Closes: #1044703).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 17:10:54 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-mtac2_1.4+8.18-1.dsc 2.1 KiB 2d3e1f188491ef7cabad11080a5f9e1e30f2bf2905c939047ecf4d376e88445b
coq-mtac2_1.4+8.18.orig.tar.gz 246.2 KiB 3c37480148a24d6d948871913d7f626ab03d944cd6aaadf25cb2f40094f08cfb
coq-mtac2_1.4+8.18-1.debian.tar.xz 2.7 KiB 8d0959077bcd116cf7c961599c9d1e2326338a12f63f83c2b5aed136b450a38d

No changes file available.

Binary packages built by this source

libcoq-mtac2: Mtac2 tactic language for Coq

 This plugin for Coq provides the Mtac2
 typed tactic language for backward reasoning.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-mtac2-dbgsym: debug symbols for libcoq-mtac2