menhir 20180530-1 source package in Ubuntu
Changelog
menhir (20180530-1) unstable; urgency=medium * New upstream version. * Install manual.html into menhir-doc package. * Add entry for html manual in doc-base file * Update Vcs-* fields to salsa. * Standards-Version 4.1.4 (no change). * Debhelper compat level 11. - menhir-doc.doc-base: manual now installed in /usr/share/doc/menhr -- Ralf Treinen <email address hidden> Mon, 18 Jun 2018 20:39:09 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
menhir_20180530-1.dsc | 2.2 KiB | 63ddd77bb5f2385bfe6c2a12fd5ec30c6606bb44086b6b422a8d8a527105f2a8 |
menhir_20180530.orig.tar.gz | 963.3 KiB | a8cb2326790cf701b84966ea7aec644b67c0ed80293961a2b3a07082b7a05aa2 |
menhir_20180530-1.debian.tar.xz | 7.0 KiB | 27a98dd4ee4906435e3bee15f07bc51b0dbd1ae3d5bbd0588af7f4d5614e119d |
No changes file available.
Binary packages built by this source
- libmenhir-ocaml-dev: No summary available for libmenhir-ocaml-dev in ubuntu cosmic.
No description available for libmenhir-ocaml-dev in ubuntu cosmic.
- menhir: No summary available for menhir in ubuntu cosmic.
No description available for menhir in ubuntu cosmic.
- menhir-dbgsym: No summary available for menhir-dbgsym in ubuntu cosmic.
No description available for menhir-dbgsym in ubuntu cosmic.
- menhir-doc: No summary available for menhir-doc in ubuntu cosmic.
No description available for menhir-doc in ubuntu cosmic.