why 2.40-3 source package in Ubuntu
Changelog
why (2.40-3) unstable; urgency=medium
* Update Architecture to native archs of ocaml 4.05:
- drop armel (closes: #898493)
- restore ppc64el, s390x (closes: #898518)
- add ppc64
-- Ralf Treinen <email address hidden> Sun, 13 May 2018 10:55:19 +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 ppc64 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.40-3.dsc | 2.3 KiB | c918a172195b182159814aaae911ad50d64330e27e70f2002b7bbb6263a0aeee |
| why_2.40.orig.tar.gz | 1.4 MiB | 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 |
| why_2.40-3.debian.tar.xz | 11.6 KiB | 6b6a5bfd3338066549d3d6266dcc038d8119e78649fb2be1cc36a8735d29b928 |
Available diffs
- diff from 2.39-2build2 (in Ubuntu) to 2.40-3 (749.6 KiB)
- diff from 2.40-2 to 2.40-3 (521 bytes)
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu cosmic.
No description available for libwhy-coq in ubuntu cosmic.
- why: No summary available for why in ubuntu disco.
No description available for why in ubuntu disco.
- why-dbgsym: No summary available for why-dbgsym in ubuntu cosmic.
No description available for why-dbgsym in ubuntu cosmic.
