why 2.38-1build2 source package in Ubuntu
Changelog
why (2.38-1build2) artful; urgency=high * No change rebuild against ocaml 4.04. -- Dimitri John Ledkov <email address hidden> Mon, 03 Jul 2017 11:45:51 +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-1build2.debian.tar.xz | 11.5 KiB | 85612cd7bfd42c3b53e618cc6d0da1f91395cdc6d806264a24a48df40705989c |
why_2.38-1build2.dsc | 2.1 KiB | 730ad976a973f402a5fd3b6fb93382b7d06b537d87ef2024bb14f711312175e9 |
Available diffs
- diff from 2.38-1build1 to 2.38-1build2 (521 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.