why 2.39-2 source package in Ubuntu
Changelog
why (2.39-2) unstable; urgency=medium
* update Architecture list (closes: #875569)
- changes due to ocaml 4.05: -armel +ppc64el +s390x
- drop obsolete lpia
* Standards-Version 4.1.1 (no change)
-- Ralf Treinen <email address hidden> Thu, 12 Oct 2017 08:25:52 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64el sparc s390x all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.39-2.dsc | 2.4 KiB | 2adf8434bb381dd9c546304294507c392b2cc8b63ad7f9c3c1159eac026ecb3c |
| why_2.39.orig.tar.gz | 1.6 MiB | 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 |
| why_2.39-2.debian.tar.xz | 11.5 KiB | b0c1d64195c14f03a14a4fb677d53f4cd795c292cea95f2619a7e5ef6d9e8f4b |
Available diffs
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu artful.
No description available for libwhy-coq in ubuntu artful.
- why: No summary available for why in ubuntu artful.
No description available for why in ubuntu artful.
- why-dbgsym: debug symbols for why
