menhir 20190626-3 source package in Debian
Changelog
menhir (20190626-3) unstable; urgency=medium * Standards-Version 4.4.0 (no change) * Test coq: add dependency coq * Drop version contraint on build-dependency dh-ocaml -- Ralf Treinen <email address hidden> Thu, 25 Jul 2019 15:57:50 -0300
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-3.dsc | 2.3 KiB | 1b46b9e46de64be71e48f7ac91c895b608ae43089b2e88bb998c6af4c4d50712 |
menhir_20190626.orig.tar.gz | 2.4 MiB | 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 |
menhir_20190626-3.debian.tar.xz | 16.6 KiB | 8df5b6262968c14088b05c24d68e854204c02f85f98b99623f6eea1e65f51dfc |
No changes file available.