menhir 20171206-1 source package in Debian
Changelog
menhir (20171206-1) unstable; urgency=medium * New upstream version. * Standards-version 4.1.2 (no change) * Drop debian/source/local-options -- Ralf Treinen <email address hidden> Wed, 13 Dec 2017 21:31:45 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
menhir_20171206-1.dsc | 2.2 KiB | 8899eb3eb833578343ce5585e473fbc7c8579356eba818cd6a284bdfc3cddb2b |
menhir_20171206.orig.tar.gz | 843.2 KiB | c4ed86f2d02d72183e3422ff1700276925fe6cfa2f22900f3d30f23dce8e9c77 |
menhir_20171206-1.debian.tar.xz | 6.8 KiB | b22e61d10b52fc5c7a9401d0c35ddc7cc0a84f8ee66d671aefd8b88145fe25b5 |
Available diffs
- diff from 20171013-1 to 20171206-1 (33.6 KiB)
No changes file available.