menhir 20190626-1 source package in Debian
Changelog
menhir (20190626-1) experimental; urgency=medium
* New upstream release
* Standards-Version 4.3.0 (no change)
* New binary package: libmenhir-coq
* New build-dependencies:
- debhelper-compat(=12); drop file debian/compat
- coq (needed for building libmenhir-coq)
* Package libmenhir-ocaml-dev: Suggests ocaml-findlib
* Override dh_dwz to use --no-dwz-multifile
* As-installed tests:
- Add test for libmenhir-coq (thanks a lot to Pierre Letouzey)
- Rename test "calc" to "standalone", tighten test dependencies
-- Ralf Treinen <email address hidden> Sun, 07 Jul 2019 21:32:31 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Experimental
- 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-1.dsc | 2.3 KiB | ab79c658766e34343e1ddd0c9e10798d33ec575e93ad107483b29fe50037dedf |
| menhir_20190626.orig.tar.gz | 2.4 MiB | 84f779c4883f969365915e5b3900b458eeae2acf13164ace52ec5696febb5031 |
| menhir_20190626-1.debian.tar.xz | 16.4 KiB | 37a03c5149ede0043ae459c25c4259d1c90c48c6bbefdb2087ead708ac66ca33 |
No changes file available.
