ssreflect 1.7.0+dfsg-1 source package in Ubuntu
Changelog
ssreflect (1.7.0+dfsg-1) unstable; urgency=medium
* New upstream version. This fixes a FTBFS with coq 8.9.0 (closes: #919461)
Repack upstream (remove docs/htmldoc/js/)
* Update debian/watch to github
* Update Vcs-* to salsa
* Standards-Version 4.3.0
- https in format string of debian/copyright
* d/rules: fix installation of htmldocs
* Drop packages libssreflect-ocaml[-dev] as the plugin is now included in
the coq package.
* d/libssreflect-coq.docs: adjust pathnames of files
* d/copyright: drop short paragraph at first occurrence of CeCILL-B
* Build-depend on debhelper-compat (=12)
- use dh_missing (instead of dh_install) with --fail-missing
* No more compilation with ocaml:
- dropped build-dependencies on ocaml stuff
- dropped --with-ocaml flag to dh and usage of ocamlvars.mk
* Updated short and long description. Thanks to Enrico Tassi.
* Added an as-installed test, thanks again to Enrico Tassi.
* Added myself as Uploader.
-- Ralf Treinen <email address hidden> Sat, 16 Feb 2019 20:06:49 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ssreflect_1.7.0+dfsg-1.dsc | 2.1 KiB | 9c93e1d8af1b64d97091548237527e791c148799ac1e1f9a0bde8cf8c01045b2 |
| ssreflect_1.7.0+dfsg.orig.tar.gz | 3.9 MiB | 2ed4db186ae03f7a2f48c72a30efbe31643a83937b58865db0ea2f03547aaf50 |
| ssreflect_1.7.0+dfsg-1.debian.tar.xz | 12.0 KiB | 2755526e153910a793a99cd07f477680af65a125b201ce87fa2715cc70ddc7af |
Available diffs
No changes file available.
Binary packages built by this source
- libssreflect-coq: No summary available for libssreflect-coq in ubuntu eoan.
No description available for libssreflect-coq in ubuntu eoan.
