Ubuntu
coq-menhirlib package

coq-menhirlib 20220210+ds-4build2 source package in Ubuntu

Changelog

coq-menhirlib (20220210+ds-4build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 19:28:51 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Lunar
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
coq-menhirlib_20220210+ds.orig.tar.xz 37.3 KiB 8a8916c99b2c033bb0848db6beaed5db78e67f308bd704e7f498f1861a9c77b1
coq-menhirlib_20220210+ds-4build2.debian.tar.xz 1.8 KiB afac66d8917b950a6013fb04c5a56045714927e833bac06bfb4e18dd14330554
coq-menhirlib_20220210+ds-4build2.dsc 2.1 KiB 1599a31ef96b639c5d25a234ae16836f9fe879d0a0f32cc59c98a4966012f0e8

View changes file

Binary packages built by this source

libcoq-menhirlib: support library for Coq-verified Menhir parsers

 This package provides a support library for verified
 Coq parsers produced by Menhir.
 .
 Menhir is a LR(1) parser generator for the OCaml programming
 language and Coq is a proof assistant for higher-order logic.