coq 8.9.1-5build1 source package in Ubuntu
Changelog
coq (8.9.1-5build1) focal; urgency=medium * No change rebuild against new ocaml ABI -- Dimitri John Ledkov <email address hidden> Fri, 21 Feb 2020 23:16:34 +0000
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Focal
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.9.1.orig.tar.gz | 5.1 MiB | ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 |
coq_8.9.1-5build1.debian.tar.xz | 31.4 KiB | a328a8cefa1c7bfb7861653d3a1ae0d89da03930a9ea0e8be0ce292414012e31 |
coq_8.9.1-5build1.dsc | 2.5 KiB | 09f55a01a8768bae8345bfd0b242d2b1d7757318638ece25ada3eb96f09b98e5 |
Available diffs
- diff from 8.9.1-5 (in Debian) to 8.9.1-5build1 (536 bytes)