menhir 20190626-6 source package in Debian
Changelog
menhir (20190626-6) unstable; urgency=medium * Team upload * libmenhir-coq: add dependency to Coq ABI (Closes: #935873) -- Stéphane Glondu <email address hidden> Tue, 27 Aug 2019 15:43:33 +0200
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 | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
menhir_20190626-6.dsc | 2.0 KiB | 98e2919ac8680d78138a5dfce5ae2ab0495485eaf6eb68b6f77fbc4e114dce96 |
menhir_20190626.orig.tar.gz | 2.4 MiB | 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 |
menhir_20190626-6.debian.tar.xz | 15.9 KiB | f7d14f637c70739615fffdf5b8797ac25003d2fdd2999ca720d1a8ea6c7de1b2 |
No changes file available.