why 2.40-3build1 source package in Ubuntu
Changelog
why (2.40-3build1) disco; urgency=medium * No-change rebuild against new frama-c-base -- Steve Langasek <email address hidden> Wed, 14 Nov 2018 20:48:16 -0800
Upload details
- Uploaded by:
- Steve Langasek
- Uploaded to:
- Disco
- Original maintainer:
- Ubuntu Developers
- 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.orig.tar.gz | 1.4 MiB | 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 |
| why_2.40-3build1.debian.tar.xz | 11.7 KiB | 31cf3eac185c8b65ddd39f04120c5836c4bed7bb982edae61fdd3ee477243d59 |
| why_2.40-3build1.dsc | 2.5 KiB | 140909fef7a4f25a7871ad32d124fe43070e76f4b0a7ed052f11a17b52cd56fb |
Available diffs
- diff from 2.40-3 (in Debian) to 2.40-3build1 (524 bytes)
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu disco.
No description available for libwhy-coq in ubuntu disco.
- why: No summary available for why in ubuntu eoan.
No description available for why in ubuntu eoan.
- why-dbgsym: No summary available for why-dbgsym in ubuntu disco.
No description available for why-dbgsym in ubuntu disco.
