menhir 20181113-1 source package in Debian
Changelog
menhir (20181113-1) unstable; urgency=medium * new upstream version * d/watch: point to inria gitlab * d/menhir-doc.docs: also install png pictures of the manual * d/rules: remove .gitignore files in examples * Standards-Version 4.2.1 (no change) -- Ralf Treinen <email address hidden> Wed, 14 Nov 2018 22:14:32 +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 | Published | Component | Section | |
---|---|---|---|---|
Buster | release | main | devel |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
menhir_20181113-1.dsc | 2.2 KiB | a52ef2db3dd25e03b872bc54e1a413eff5b955594ad2d2bf45bf13fdf6704799 |
menhir_20181113.orig.tar.gz | 1004.3 KiB | 3878f8772620bd13f08ea2c367c0f60b1078d2563cd4711577efaffc4550a176 |
menhir_20181113-1.debian.tar.xz | 7.3 KiB | c4be79d76c0c143d846f285e72fe9313f9727a6d9b0eebf6d48995daceab71d9 |
Available diffs
- diff from 20180530-2 to 20181113-1 (238.9 KiB)
No changes file available.