why 2.34-2ubuntu2 source package in Ubuntu
Changelog
why (2.34-2ubuntu2) wily; urgency=medium * Rebuild for new OCaml ABIs. -- Matthias Klose <email address hidden> Wed, 02 Sep 2015 11:57:29 +0200
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Wily
- 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.34.orig.tar.gz | 3.6 MiB | 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 |
| why_2.34-2ubuntu2.debian.tar.xz | 10.4 KiB | bc0e191907204dc36877e0d3da6fbf07696295d378dfd066efe224991268762b |
| why_2.34-2ubuntu2.dsc | 2.4 KiB | 90f504c086ce8a192fad11b6cafd98864cd4a8efffff2750879cd4d0ad68ed22 |
Available diffs
- diff from 2.34-2ubuntu1 to 2.34-2ubuntu2 (338 bytes)
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu wily.
No description available for libwhy-coq in ubuntu wily.
- why: No summary available for why in ubuntu wily.
No description available for why in ubuntu wily.
- why-dbgsym: No summary available for why-dbgsym in ubuntu wily.
No description available for why-dbgsym in ubuntu wily.
- why-examples: No summary available for why-examples in ubuntu wily.
No description available for why-examples in ubuntu wily.
