Ubuntu
coq-libhyps package

coq-libhyps 2.0.8-1build1 source package in Ubuntu

Changelog

coq-libhyps (2.0.8-1build1) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Fri, 22 Dec 2023 20:28:52 -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-libhyps_2.0.8.orig.tar.gz 36.4 KiB e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2
coq-libhyps_2.0.8-1build1.debian.tar.xz 2.1 KiB 3f5b7039771f53cc4fc63754ab840716790e3c023290ca4dda2719e8e6ad625c
coq-libhyps_2.0.8-1build1.dsc 2.0 KiB 35e20127b47558fbeb1c714432ab6234cf731ccd28d0fa0f6ef19830ac15e8a3

View changes file

Binary packages built by this source

libcoq-libhyps: Tactics on hypotheses in Coq

 This package provides tactics and tacticals to work
 with hypotheses during a Coq proof.
 .
 Coq is a proof assistant for higher-order logic.