why 2.38-1build1 source package in Ubuntu
Changelog
why (2.38-1build1) artful; urgency=medium * Rebuild against new ocaml ABIs. -- Gianfranco Costamagna <email address hidden> Mon, 05 Jun 2017 09:50:21 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Artful
- 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.orig.tar.gz | 1.6 MiB | 16e174b4190352b229259f2ea47628f9ca4f33053c28c531536f6d350231db12 |
why_2.38-1build1.debian.tar.xz | 11.4 KiB | 93e048c7d3748cba23412e594cf1029d5caede429d1d662cf7f44be20f144b42 |
why_2.38-1build1.dsc | 2.4 KiB | 49033e1e949d430cb86e81f91a92e543bdf7bfb6f8c7f11e18d5aa5b6104116a |
Available diffs
- diff from 2.38-1 (in Debian) to 2.38-1build1 (323 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.