Debian
menhir package

menhir 20231231+ds-1 source package in Debian

Changelog

menhir (20231231+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <email address hidden>  Thu, 15 Feb 2024 14:22:52 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Sid release main devel

Builds

Downloads

File Size SHA-256 Checksum
menhir_20231231+ds-1.dsc 2.0 KiB 71d70ddc5b37bdcf74e83a540b4b4f503ba51d9706dcfec2ea39784c37151492
menhir_20231231+ds.orig.tar.xz 527.4 KiB 509349d9b03d0e072d941a7c9fae95cfbcbfcff1940b5addab54195e9350731e
menhir_20231231+ds-1.debian.tar.xz 13.4 KiB 49fa01a03d1d4536c96d0e535db7ee417b2e8adcaeacead6f9303038b33ec549

No changes file available.

Binary packages built by this source