Publishing details

• Removed from disk on 2024-05-22.
• Removal requested on 2024-05-22.
• Superseded on 2024-05-21 by coq-libhyps - 2.0.8-3build2
• Published on 2024-05-02
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

coq-libhyps (2.0.8-3) unstable; urgency=medium

  * Fix target distribution.

 -- Julien Puydt <email address hidden>  Fri, 26 Apr 2024 15:41:03 +0200

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Package files

• coq-libhyps_2.0.8-3.debian.tar.xz (2.1 KiB)
• coq-libhyps_2.0.8-3.dsc (2.0 KiB)
• coq-libhyps_2.0.8.orig.tar.gz (36.4 KiB)
• libcoq-libhyps_2.0.8-3_amd64.deb (75.6 KiB)
• libcoq-libhyps_2.0.8-3_arm64.deb (75.6 KiB)
• libcoq-libhyps_2.0.8-3_armhf.deb (75.6 KiB)
• libcoq-libhyps_2.0.8-3_ppc64el.deb (75.6 KiB)
• libcoq-libhyps_2.0.8-3_riscv64.deb (75.6 KiB)
• libcoq-libhyps_2.0.8-3_s390x.deb (75.6 KiB)