why 2.36-5 source package in Ubuntu
Changelog
why (2.36-5) unstable; urgency=medium * debian/rules: set FRAMADIR -- Ralf Treinen <email address hidden> Tue, 27 Dec 2016 13:13:18 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
why_2.36-5.dsc | 2.2 KiB | 02741d892a99f82d363e50b9b8ad40a4c97a530ff8793970dad92a5c38489764 |
why_2.36.orig.tar.gz | 1.7 MiB | 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 |
why_2.36-5.debian.tar.xz | 11.3 KiB | fb1b2c2e6013b1f2843b799b869619ee73367af1a891e0038a701e0cc0c9742d |
Available diffs
- diff from 2.36-3build1 (in Ubuntu) to 2.36-5 (980 bytes)
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu zesty.
No description available for libwhy-coq in ubuntu zesty.
- why: No summary available for why in ubuntu zesty.
No description available for why in ubuntu zesty.