why 2.38-1 source package in Ubuntu
Changelog
why (2.38-1) unstable; urgency=medium
* New upstream version (closes: #858366)
- refreshed patches bprintf, edge
- dropped hunks of patch reproducible_build that have been applied
by upstream.
* Bump build-dependency on frama-c-base to 20161101+silicon+dfsg
* debian/why.install: install Jessie.o
* Restrict Architecture of the why package to architectures having a
native-code compiler for ocaml, since upstream ceased to maintain
the why package for bytecode-only architectures.
-- Ralf Treinen <email address hidden> Mon, 24 Apr 2017 08:25:31 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc sparc all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.38-1.dsc | 2.4 KiB | e47f35d717925497d41289ecabffa36bfe6b4b08a0b416aab1c399d09734d0d8 |
| why_2.38.orig.tar.gz | 1.6 MiB | 16e174b4190352b229259f2ea47628f9ca4f33053c28c531536f6d350231db12 |
| why_2.38-1.debian.tar.xz | 11.3 KiB | c29d7a2e5b0cae856ed21c97868b6cb5788456d65221e02b0a5d07d66d8633eb |
Available diffs
No changes file available.
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.
