why 2.39-2build2 source package in Ubuntu
Changelog
why (2.39-2build2) cosmic; urgency=medium * Rebuild against new OCAML ABIs. -- Matthias Klose <email address hidden> Fri, 04 May 2018 11:27:17 +0200
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Cosmic
- 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.orig.tar.gz | 1.6 MiB | 4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159 |
| why_2.39-2build2.debian.tar.xz | 11.6 KiB | 62ee70f7f8ff5f2d8d60d01b2e1f5d83672acc8b9cfc8cf256de6ca5358e1c58 |
| why_2.39-2build2.dsc | 2.4 KiB | 9734bbe095bfd40be3a7369c12d903e01d70684103c4e7dd25d5d00fe0de0819 |
Available diffs
- diff from 2.39-2build1 to 2.39-2build2 (293 bytes)
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 cosmic.
No description available for why in ubuntu cosmic.
- why-dbgsym: No summary available for why-dbgsym in ubuntu cosmic.
No description available for why-dbgsym in ubuntu cosmic.
