why 2.38-1ubuntu1 source package in Ubuntu
Changelog
why (2.38-1ubuntu1) artful; urgency=medium
* Build for any architectures, not just a hard-coded set of arches.
* Add more logging to the failing autopkgtest, such that output is shown
rather than silently discarded on failure.
-- Dimitri John Ledkov <email address hidden> Tue, 18 Jul 2017 00:45:53 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.38.orig.tar.gz | 1.6 MiB | 16e174b4190352b229259f2ea47628f9ca4f33053c28c531536f6d350231db12 |
| why_2.38-1ubuntu1.debian.tar.xz | 11.6 KiB | 0d552b8aeef1fb76f6690d0dcd3d987450fd193f93c3f440b69d29c1bb6770de |
| why_2.38-1ubuntu1.dsc | 1.9 KiB | 712563828c02607febfd0b180dd819c4a59df9bfa564db2d6536b8d37d8e821e |
Available diffs
- diff from 2.38-1build1 (in Ubuntu) to 2.38-1ubuntu1 (1.0 KiB)
- diff from 2.38-1build3 to 2.38-1ubuntu1 (840 bytes)
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: No summary available for why-dbgsym in ubuntu artful.
No description available for why-dbgsym in ubuntu artful.
