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 Pocket 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

View changes file

Binary packages built by this source