Ubuntu
paramcoq package

paramcoq 1.1.3+coq8.19-2 source package in Ubuntu

Changelog

paramcoq (1.1.3+coq8.19-2) unstable; urgency=medium

  * Team upload
  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <email address hidden>  Sun, 04 Aug 2024 05:39:18 +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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
paramcoq_1.1.3+coq8.19-2.dsc 1.8 KiB 661b5c9adff968af122d5de34707cf9b4400b756afc30c85322f58fb43437d58
paramcoq_1.1.3+coq8.19.orig.tar.gz 44.8 KiB b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a
paramcoq_1.1.3+coq8.19-2.debian.tar.xz 3.1 KiB 9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3

No changes file available.

Binary packages built by this source

libcoq-paramcoq: Coq plugin to generate parametricity statements

 This package provides a plugin for Coq to generate
 parametricity statements, typically used in data refinement
 proofs.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-paramcoq-dbgsym: debug symbols for libcoq-paramcoq