why 2.38-1build3 source package in Ubuntu
Changelog
why (2.38-1build3) artful; urgency=high * No change rebuild against ocaml with old binutils on arm64. -- Dimitri John Ledkov <email address hidden> Sun, 16 Jul 2017 15:32:03 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc sparc all
- Section:
- math
- Urgency:
- Very Urgent
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-1build3.debian.tar.xz | 11.5 KiB | 7e3559dfa6a6d4b319d7b48a5e0d27dd2907d94e0ff30a595417f44260fa553c |
| why_2.38-1build3.dsc | 2.1 KiB | f5aa7e70456377a6006257225ab41f44dbc6357e79f59bd6f6e141898665e1a9 |
Available diffs
- diff from 2.38-1build2 (in Ubuntu) to 2.38-1build3 (306 bytes)
- diff from 2.38-1build1 (in Ubuntu) to 2.38-1build3 (569 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.
