why 2.40-4 source package in Ubuntu
Changelog
why (2.40-4) unstable; urgency=medium * Team upload. * Rebuild against coq/8.9.0-1. -- Benjamin Barenblat <email address hidden> Fri, 22 Feb 2019 18:04:55 -0500
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- 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-4.dsc | 2.3 KiB | 515863bf7ca6bfdf2cf57792f280f9a1def5421aedfcbf682ce744326a2a4d75 |
why_2.40.orig.tar.gz | 1.4 MiB | 285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 |
why_2.40-4.debian.tar.xz | 11.7 KiB | b9843bbb889af2e2998a21b40b18da7c53be2dfa73f015cc307290e3b585f42f |
Available diffs
- diff from 2.40-3build2 (in Ubuntu) to 2.40-4 (640 bytes)
No changes file available.
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.