alt-ergo 1.30-1 source package in Debian
Changelog
alt-ergo (1.30-1) unstable; urgency=medium * new upstream version: - refreshed patch 0001-dont-activate-debug-flags - refreshed patch 0002-non-free-dropped - refreshed patch 0003-allow-set-build-date - added build-dependency on ocplib-simplex-ocaml-dev, libzip-ocaml-dev, and ocaml-findlib * debhelper compatibility level 10: - bumped build-dependency on debhelper - bumped value in debian/compat - debian/rules: sequence before options in dh invocation * standards-version 3.9.8 (no change) * debian/control: dropped redundant Testsuite * updated Vcs-{Git,Browser} * patch spelling: various upstream spelling errors -- Ralf Treinen <email address hidden> Mon, 12 Dec 2016 19:58:57 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Stretch | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_1.30-1.dsc | 2.2 KiB | da0ffe76cfc2dc2210789ff561d9d22597d8648172b93c22d8acd3595b47ddb7 |
alt-ergo_1.30.orig.tar.gz | 371.4 KiB | 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 |
alt-ergo_1.30-1.debian.tar.xz | 13.9 KiB | 30e35a3b8861dfaad0c535b2711a3c78bcef8292d7f8130c9ff5cc48da7270fa |
Available diffs
- diff from 1.01-1 to 1.30-1 (154.8 KiB)
No changes file available.